Ich biete regelmäßig die folgenden Lehrveranstaltungen an:

• Bachelor:
  • Theoretische Informatik - Automaten und formale Sprachen
  • Einführung in die Programmierung mit C
  • Algorithmen und Datenstrukturen
• Master
  • Advanced Formal Modeling
  • Artificial Intelligence
  • Ontologiesprachen und Semantic Web

Details zu den Lehrveranstaltungen finden Sie auf der Campuas-Seite der Hochschule.

Mein Forschungsinteresse liegt im Bereich der künstlichen Intelligenz; insbesondere

• der Wissensrepräsentation und dem logischen Schließen mit Beschreibungslogiken
• und der interaktiven Wissensakquise mittels formaler Begriffsanalyse.

Ich befasse mich sowohl mit den theoretischen Grundlagen dieser Gebiete, z.B. mit Algorithmen und Komplexitätsproblemen, als auch mit ihren praktischen Anwendungen in Semantic Web und Ontologien.