Teaching
Summer Term 2012
- Lecture: Programmierung 2
- Bachelor-/Masterseminar
Winter Term 2011
- Core Course: Compiler Construction (together with Reinhard Wilhelm)
- Seminar: Compiler Verification
- Reading Group: Compilers and Programming Languages
- Course: Unix for Unix/Linux Beginners
- Bachelor-/Masterseminar
Summer Term 2011
- Lecture: Programmierung 2
- Proseminar: Embedded Systems
- Reading Group: Compilers and Programming Languages
- Bachelor-/Masterseminar
- Unix Course: Unix for Unix/Linux Beginners
Winter Term 2010
- Lecture: Programmierung 2
- Course: Unix for Unix/Linux Beginners
- Proseminar: SAT with Christoph Weidenbach
Summer Term 2010
- Lecture: Programmierung 2
- Reading Group: Current Research in Programming Languages and Compilers
- Proseminar: Parallele Programmiermuster
- Course: Unix for Unix/Linux Beginners
Winter Term 2009
- Core Lecture: Compiler Construction
- Lecture: Programming Challenges
- Proseminar: Embedded Systems
- Course: C/C++ Programming
- Course: Unix I
Summer Term 2009
- Lecture: Programmierung 2
- Proseminar: 13 Sprachen in 13 Wochen
- Proseminar: Generative Programming
- Course: Unix II (system programming)
Winter Term 2008
- Lecture: Advanced C Programming
- Seminar: Automatic Parallelization
Summer Term 2008
- Lecture: Programmierung 2