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 |