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.

Publikationen, Vorträge, Datenschutz


Forschungsgebiete:

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

Conferences/Workshops (where I am in the PC or organizing committee)
upcoming: 7th Intl. School on Rewriting (ISR 2014), 23rd Intl. Workshop on Functional and (Constraint) Logic Programming (WFLP 2014), 8th Intl. School on Rewriting (ISR 2015)

past: Intl. Termination Competition 2014, 14th Intl. Workshop on Termination (WST), Hal-9, 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.

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) .


Lehrgebiete:

Programmierparadigmen und -Sprachen, Compilerbau.

Lehrmethode: vgl. G. H. Hardy: A Mathematician's Apology, Cambridge Univ. Press 1940:

"One rather curious conclusion emerges, that pure mathematics is disctinctly more useful than applied. ... For what is useful above all is technique, and mathematical technique is taught mainly through pure mathematics."

Lehrveranstaltungen

(kommt: Wintersemester 14, aktuell: Sommersemester 14, vorbei), Diplomanden , autotool

Sprechzeiten im SS 14
mittwochs 10:00 -- 11:00 Uhr (für Bachelor/Master-Projekte/Arbeiten - Anmeldung zur Sprechzeit über Wiki-Seite der OPAL-Gruppe)
mittwochs 11:00 -- 12:00 Uhr (für Fragen zur Lehre, Seminaren)

Wenn möglich, bitte vorher per Email anmelden.

(Email-Anfragen zum Studium nur von Adressen *.htwk-leipzig.de. Der sicherste Weg zu einer Antwort ist das Erscheinen in der Sprechstunde.)


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