Hauptspalte
NO SECTION
Theoretische Informatik
Die Abteilung untersucht algorithmische Fragestellungen in verschiedenen Bereichen der Informatik (Verifikation, Datenkompression, Automatentheorie) und Mathematik (Logik, Algebra).
Wir untersuchen das Wechselspiel zwischen Automatentheorie, Logik und formalen Sprachen. Besonderes Interesse finden derzeit quantitative Automatenmodelle, die den Verbrauch von Resourcen in Systemabläufen modellieren. Ein anderer Forschungsschwerpunkt liegt in der Algebra in der Gruppentheorie und auf dem Gebiet der Ordnungsstrukturen.
Die Abteilung untersucht Sprachen zur Wissensrepräsentation und zugehörige Inferenzverfahren.
