Dr. Waldmann - Research Areas

Automated analysis of termination and derivational complexity of rewriting.



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:

For more detail, see publications (at DBLP), talks, and past activities.