Prof. Dr. rer. nat. Johannes Waldmann

Prof. Dr. rer. nat. Johannes Waldmann
Prof. Dr. rer. nat.
Johannes Waldmann
Berufungsgebiet: Softwaresysteme
+49 341 3076-6479


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


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


Automated analysis of termination and derivational complexity of rewriting.



  • matchbox termination prover. Winner of the SRS category of the 2007 Termination Competition.

Constraint Programming Methods and Tools for solving termination constraints.

  • supervised PhD thesis: SAT Compilation for Constraints over Structured Finite Domains by Alexander Bau, ko-operatives Promotionsverfahren mit TU Dresden, 2017. (The CO4 compiler.)

Automated Grading and Generation of Online Exercises in Computer Science.


  • autotool is used at HTWK Leipzig since 2003. System is documented by several workshop contributions, and is being developed by a grant of SMWK (Landesarbeitskreis E-Learning) 2010, and several diploma theses.

Community service:

Publikationen (via DBLP)

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