Prof. Dr. rer. nat. Johannes Waldmann
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.”
Forschungs- und Interessengebiete
- Termination und Komplexität in verschiedenen Berechnungsmodellen
- Deklarative (Funktionale, Constraint-) Programmierung
- Automaten und Formale Sprachen
- Auto-Grading im E-Learning