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.

Forschung/research, Publikationen (via DBLP), Vorträge/talks, etc | Lehre/teaching, Master-Arbeiten | 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, or steering committee)

upcoming: Workshop Haskell in Leipzig (with Hackathon) 26 - 28 October 2017

recent past: Intl. Workshop on Functional and Logic Programming (WFLP) (Würzburg, 19 - 22 Septemer 2017), Intl. Workshop on Rewriting Techniques for Program Transformations and Evaluation (Oxford, 8 Sept 2017), Intl. Termination and Complexity Competition (5-6 September 2017), Intl. School on Rewriting (Eindhoven, 3 - 7 July 2017), Leipzig Week of Declarative Programming (WLP, WFLP, HaL) (12 - 15 Sept 2016)

past past

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 und Fachgruppe Programmiersprachen und Rechenkonzepte 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.”

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

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

Sprechzeit: mittwochs 10:00 - 10:30 Uhr, bitte per Mail anmelden oder über die Wiki-Seite der OPAL-Gruppe

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

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