Prof. Dr. Baris Sertkaya

Details zu den Lehrveranstaltungen finden Sie auf der E-Learning-Plattform der Hochschule.

Ich biete/bot folgende Lehrveranstaltungen an:

WS 2017/2018

• Advanced Formal Modelling
• Einführung in die Programmierung mit C
• Current Topics in High Integrity Systems

SS 2017

• Algorithmen und Datenstrukturen
• Theoretische Informatik: Automaten und formale Sprachen
• Current Topics in High Integrity Systems

WS 2016/2017

• Einführung in die Programmierung mit C
• Advanced Formal Modeling
• Current Topics in High Integrity Systems

SS 2016

• Theoretische Informatik: Automaten und formale Sprachen

WS 2015/2016

• Einführung in die Programmierung mit C
• Advanced Formal Modelling

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.