Prof. Dr. rer. nat. Johannes Waldmann

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

• Studiendekan Informatik
• Mitglied im Fakultätsrat

• Termination und Komplexität in verschiedenen Berechnungsmodellen
• Deklarative (Funktionale, Constraint-) Programmierung
• Automaten und Formale Sprachen
• Auto-Grading im E-Learning