Description: Ich bin seit April 2013 Professor für Computational Logic am Institut für Künstliche Intelligenz der Fakultät Informatik der Technischen Universität Dresden, seit 2021 auch Zweitmitglied der Fakultät Mathematik. Meine Forschungsinteressen umfassen Künstliche Intelligenz, insbesondere Wissensrepräsentation und logisches Schließen mithilfe diverser Formalismen (u.a. Beschreibungslogiken, Existenzielle Regeln und Formale Begriffsanalyse) und ihren Anwendungen beispielsweise im Bereich Semantischer Technologien
Ich bin seit April 2013 Professor für Computational Logic im Institut für Künstliche Intelligenz an der Fakultät Informatik der Technischen Universität Dresden , seit 2021 auch Zweitmitglied der Fakultät Mathematik . Meine Forschungsinteressen umfassen Künstliche Intelligenz, insbesondere Wissensrepräsentation und logisches Schließen mithilfe diverser Formalismen (u.a. Beschreibungslogiken , Existenzielle Regeln und Formale Begriffsanalyse ) und ihren Anwendungen beispielsweise im Bereich Semantischer Techn
Vor meiner Rückkehr nach Dresden war ich von 2006 bis 2013 als Postdoktorand, Projektleiter und später Privatdozent in Rudi Studer s Gruppe für Wissensmanagement am Institut für Angewandte Informatik und Formale Beschreibungsverfahren des Karlsruher Instituts für Technologie , wo ich 2011 die venia legendi erhalten habe. Meine Promotion in Algebra und mein Lehramtsstudium für Mathematik, Physik und Informatik habe ich an der TU Dresden absolviert.
Komplette Publikationsliste anzeigen