Dr. rer. nat. Johannes Waldmann

Professor für Softwaresysteme,
Fakultät Informatik, Mathematik und Naturwissenschaften,
Hochschule für Technik, Wirtschaft und Kultur Leipzig;

und

Datenschutzbeauftragter der Hochschule für Technik, Wirtschaft und Kultur Leipzig.


Lehre (Sommersemester 14, vorige Semester), Diplomanden, autotool | Publikationen, Vorträge | Datenschutz

Sprechzeiten im SS 14:


Lehrgebiete: Programmierparadigmen und -Sprachen, Compilerbau.

Forschungsgebiete:

Termination und Komplexität in verschiedenen Berechnungsmodellen, Deklarative (Funktionale, Constraint-) Programmierung, Automaten und Formale Sprachen.

Mitgliedschaft in Berufs- und Interessenverbänden:

Working Group 1.6 Term Rewriting in der International Federation for Information Processing (IFIP), Fachgruppe Automaten und Formale Sprachen in der Gesellschaft für Informatik, Deutsche Mathematiker-Vereinigung (DMV), Association for Computing Machinery (ACM), Wurzel e.V., Leipziger Schülergesellschaft für Mathematik (LSGM) .


Conferences/Workshops (where I am in the PC or organizing committee)

upcoming : 14th Intl. Workshop on Termination (WST), Haskell in Leipzig (... diesmal in Halle) (HaL-9), 7th Intl. School on Rewriting (ISR 2014), 2nd Workshop on Haskell And Rewriting Techniques (HART 2014), 8th Intl. School on Rewriting (ISR 2015)

past : HaL-8, HART 2013, WST 2013, HaL-7, HaL-6, autOlat, ICFP Programming Contest 2010, HaL-5, HaL-4, WST 2009, Wissenschaftssommer 2008, WScT 2009, HaL-3.


email: johannes dot waldmann at htwk minus leipzig dot de (encrypted mail accepted, public key available from keyservers)

web page: http://www.imn.htwk-leipzig.de/~waldmann/

Telefon: (+49) (341) 3076 6479, Fax: (+49) (341) 3076 6381

Besucheranschrift: Zimmer Z129 (Zuse-Bau), Gustav-Freytag-Str. 42a, 04277 Leipzig

Postanschrift: HTWK Leipzig, F-IMN, Postfach 301166, 04251 Leipzig