Teaching
Current Term
- Praxis der Programmierung (Programming in C, Object oriented Programming)
- Compiler und Programmtransformation (Compiler and Program Transformation)
Previous Term
- Grundlagen der Programmierung (Fundamentals of Programming)
- Formale Grundlagen der Informatik (Theoretische Informatik I) (Formal Foundations of Computer Science - Theoretical Computer Science I)
- Foundations of Computer Science in the Master's programs Data Science and Cognitive Sytems
Further Courses (earlier)
- Naturwissenschaftlich motivierte formale Modelle (Formal models inspired by nature)
- Algorithmen und Datenstrukturen (Algorithms and Datastructures)
- Software Engineering (1+2)
- Information Theory
- Logic
- Complexity Theory
- Mathematics for Engineers
- Mildly Context-Sensitive Grammars (at the International PhD School Formal Languages and Applications, Universitat Rovira I Virgili Tarragona, Spain, 2002--06)