Teaching
Former Courses
- Winter term 2012/2013
- Advanced Lecture:
Development of Safety-Critical Embedded Systems
- Summer term 2011
- Advanced Lecture:
Static Program Analysis
- Winter term 2010/2011
- Core Lecture:
Embedded Systems
- Summer term 2010
- Seminar:
Static Program Analysis
- Ring Lecture:
Perspektiven der Informatik
(in german)
- Winter term 2009/2010
- Core Lecture:
Compiler Construction
- Ring Lecture:
Perspektiven der Informatik
(in german)
- Summer term 2009
- Basic Lecture:
Systemarchitektur
- Winter term 2008/2009
- Ring Lecture:
Perspektiven der Informatik
(in german)
- Core Lecture:
Data Networks
- Seminar:
Analysis and Verification of Network Protocols
- Summer term 2008
- Advanced Course:
Information Visualization
- Seminar:
Visual Analytics
- Winter term 2007/2008
- Ring Lecture:
Perspektiven der Informatik
(in german)
- Core Lecture:
Compiler Construction
- Advanced Course:
Embedded Systems Development
- Summer term 2007
- Advanced Course:
Program Analysis and Transformation
- Seminar:
Modular Static Analysis
- Winter term 2006/2007
- Undergraduate Seminar:
Dokumentenverarbeitung
(in german)
- Summer term 2006
- Core Lecture: Compiler Construction
- Seminar:
Embedded Systems
- Winter term 2005/2006
- Advanced Lecture: Parallel and Distributed Programming
- Summer term 2005
- Core Lecture: Embedded Systems
- Seminar: Compiler Construction and Embedded Systems
- Winter term 2004/2005
- Summer term 2004
- Core Lecture: Compiler Construction
- Seminar: Programmanalyse
- Winter term 2003/2004
- Lecture: Programmanalyse
- Seminar: Programmierbare Graphikhardware
- Summer term 2003
- Lecture: Dokumentenverarbeitung
- Summer term 2002
- Lecture: Abstrakte Maschinen im Übersetzerbau
- Winter term 2001/2002
- Lecture: Programmierung
- Tutorial: C-Blockkurs
- Summer term 2001
- Lecture: Übersetzerbau
- Lecture: Abstrakte Maschinen im Übersetzerbau