Hauptspalte
NO SECTION
Theoretical Computer Science
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.
[Translate to English:] Prof. Dr. Gerhard Brewka
Die Abteilung untersucht Sprachen zur Wissensrepräsentation und zugehörige Inferenzverfahren.
