Teaching Overview

• Software Engineering (Lectures)
  • Spring Term 2017, Nijmegen
• Deskriptive Programmierung (Vorlesungen + Übungen)
  • Sommersemester 2016, Bonn
  • Sommersemester 2015, Bonn
  • Sommersemester 2014, Bonn
  • Sommersemester 2013, Bonn
  • Sommersemester 2012, Bonn
  • Sommersemester 2011, Bonn
  • Sommersemester 2010, Bonn
• Verification of Complex Systems (Seminar)
  • Winter Term 2015/16, Bonn
  • Winter Term 2014/15, Bonn
  • Winter Term 2013/14, Bonn
• Fortgeschrittene Funktionale Programmierung (Vorlesungen + Übungen)
  • Wintersemester 2015/16, Bonn
  • Wintersemester 2014/15, Bonn
  • Wintersemester 2012/13, Bonn
  • Wintersemester 2011/12, Bonn
• Angewandte Funktionale Programmierung (Projektgruppe)
  • Wintersemester 2013/14, Bonn
• Algorithmisches Denken und imperative Programmierung (Vorlesungen)
  • Wintersemester 2012/13, Bonn
  • Wintersemester 2011/12, Bonn
• Typ-basiertes Programmieren und Schließen in Funktionalen Sprachen (Vorlesungen)
  • Wintersemester 2009/10, Bonn
• XML and Programming Languages (Lectures + Exercises)
  • Summer Term 2009, Dresden
  • Summer Term 2008, Dresden
• XML and Semi-structured Data (Seminar)
  • Winter Term 2008/09, Dresden
  • Winter Term 2007/08, Dresden
• Syntax Directed Semantics, Part II (Exercises)
  • Winter Term 2007/08, Dresden
• Informatik II für Verkehrsingenieure (Vorlesungen)
  • Sommersemester 2007, Dresden
• The Algebraic Path Problem (Exercises)
  • Winter Term 2006/07, Dresden
  • Winter Term 2005/06, Dresden
• Syntax Directed Semantics (Exercises)
  • Summer Term 2006, Dresden