Teaching in Loughborough

• 2022/23:
  • Logic for Computer Science
  • (and nothing else, as I am now Director of Studies)
• 2021/22:
  • Logic for Computer Science
  • Difficult Problems in Computer Science
• 2020/21:
  • Logic for Computer Science
  • Difficult Problems in Computer Science
• 2019/20:
  • Logic for Computer Science
  • Difficult Problems in Computer Science
  • Embedded Systems Programming (half of the module)
• 2018/19:
  • Logic for Computer Science
  • Embedded Systems Programming (half of the module)
• 2017/18:
  • Logic and Functional Programming (the logic part of the 20-credit module)
  • Embedded Systems Programming (half of the module)
• 2016/17:
  • Embedded Systems Programming (half of the module)

Teaching Awards

• School of Science Award as Most Outstanding Lecturer in Computer Science 2019
• School of Science Award as Most Helpful and Approachable Lecturer in Computer Science 2018

Teaching in Germany, listed in German:

Lehraufträge

• Sommer 2014, Vorlesung Theoretische Informatik 2: Homepage - Skript - Videos - Logbuch
• Sommer 2013, Bachelor-Seminar zu aktuellen Themen der Theoretischen Informatik: Homepage

Betreute Veranstaltungen

• Winter 2014/15: Übungen zur Vorlesung Diskrete Modellierung
• Winter 2012/2013: Übungen zur Vorlesung Diskrete Modellierung
• Winter 2011/2012: Übungen zur Vorlesung Logik in der Informatik
• Sommer 2010: Übungen zur Vorlesung Logik und Datenbanken.
• Winter 2009/2010: Übungen zur Vorlesung Beschreibungskomplexität I.
• Sommer 2009: Seminar Neuere Modelle aus der Theorie der formalen Sprachen,
• Sommer 2009: Seminar Modelle aus der Theorie der formalen Sprachen.
• Winter 2008/2009: Übungen zur Vorlesung Formale Sprachen und Automatentheorie.
• Sommer 2008: Übungen zur Vorlesung Formale Sprachen und Berechenbarkeit,
• Sommer 2008: Proseminar Formale Sprachen und Modellierung.
• Winter 2007/2008: Übungen zur Vorlesung Beschreibungskomplexität I,
• Winter 2007/2008: Seminar Modelle aus der Theorie der formalen Sprachen.

Als wissenschaftliche Hilfskraft

An der TU Kaiserslautern Übungsgruppen zu den Vorlesungen

• Induktive Inferenz (WS 05/06),
• Grundlagen der Programmierung (SS 05),
• Entwurf und Analyse von Algorithmen (WS 04/05),
• Grundlagen der Programmierung (SS 04) (Preis der FS Informatik als bester HiWi in theoretischer Informatik),
• Entwicklung von Softwaresystemen II (SS 03, SS 02),
• Entwicklung von Softwaresystemen I (WS 02/03, WS 01/02).