Teaching

Current Courses

• Advanced Lecture: Development of Safety-Critical Embedded Systems

Former Courses

• 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
  • no lectures etc.
• 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