Lehrveranstaltungen (Vorlesungen mit Übungen / Praktika) an der Hochschule für Technik, Wirtschaft und Kultur Leipzig:
| Wintersemester: | Modellierung | seit WS 2014/15 | |
| Theoretische Informatik: Automaten und formale Sprachen | seit WS 2015/16 | ||
| Theoretische Informatik: Berechenbarkeit und Komplexität | seit WS 2018/19 | ||
| Theoretische Grundlagen der Informatik | WS 2013/14 | ||
| Oberseminare (Semantic Web, KI-Anwendungen, Robotik, Autonomes Fahren) | seit WS 2013/14 | ||
| Sommersemester: | Digitale Bildverarbeitung | SS 2014 bis SS 2019 | |
| Grundlagen der Künstlichen Intelligenz | seit SS 2017 | ||
| Künstliche Intelligenz (früher Wissensrepräsentation und -verarbeitung) | seit SS 2017 | ||
| Algorithmische Geometrie | SS 2014, SS 2016 | ||
| Deklarative Programmierung | SS 2015, SS 2020 | ||
| Oberseminare (Computerlinguistik, Robotik, Autonomes Fahren) | seit SS 2014 |
Lehrveranstaltungen (Vorlesungen mit Übungen / Praktika) an der Westsächsischen Hochschule Zwickau:
| Wintersemester: | Logik | (PTI892) | WS 2008/2009 bis 2012/13 |
| Informationssicherheit | (PTI893) | WS 2009/2010 bis SS 2013 | |
| Deklarative Programmierung | (PTI891) | WS 2009/2010 bis 2011/12 | |
| Verifikations- und Spezifikationsmethoden | (PTI992) | WS 2009/2010 bis 2012/13 | |
| Wissensmanagement | (PTI991) | WS 2009/2010 bis 2012/13 | |
| Wissensbasierte Diagnosesysteme | (PTI869) | WS 2009/2010 bis 2012/13 | |
| Sommersemester: | Theoretische Informatik | (PTI818) | SS 2009 bis 2013 |
| Algorithmen und Datenstrukturen | (PTI822) | SS 2010 bis 2013 | |
| Grundlagen der Wissensverarbeitung | (PTI826) | SS 2010 bis 2013 | |
| Neuronale Netze | (PTI890) | SS 2009 bis 2013 | |
| Robotik-Projekte | (PTI857) | SS 2009 bis 2012 | |
| IT-Sicherheits-Management | (PTI983) | SS 2010 |
an der Martin-Luther-Universität Halle-Wittenberg:
| Mathematische Grundlagen der Informatik | Vorlesung: WS 2005/2006, WS 2006/2007 |
| Übungen: WS 2003/2004 bis WS 2008/2009 | |
| Automaten und Logik | Vorlesung: SS 2006 |
| Mathematische Logik | Vorlesung: SS 2005 |
| Automaten und Berechenbarkeit | Übungen: SS 2007, SS 2008 |
| Logik und Berechenbarkeit | Übungen: SS 2008 |
| Algorithmen und Datenstrukturen | Übungen: SS 2004 |