Grundlagenforschung für die Informationssysteme der Zukunft
Das Institut für Theoretische Informatik umfasst die Professuren für Algebraische und Logische Grundlagen der Informatik, für Algorithmik, für Wissenbasierte Systeme, für Algorithmische und strukturelle Graphentheorie sowie die Seniorprofessur für Automatentheorie.
© JO
Forschungsschwerpunkte
Forschungsschwerpunkte der Lehrstühle am Institut sind
- Algebraische und logische Grundlagen der Informatik: probabilistisches Model-Checking und Verifikation
- Algorithmik: Unsere Forschungsschwerpunkte sind der Entwurf und die Analyse von Datenstrukturen und Algorithmen verschiedener Art (exakt, approximierend, online, streaming, etc.). Unser Ziel sind einfache und effiziente Algorithmen.
- Algorithmische und strukturelle Graphentheorie:
- Wissensbasierte Systeme: Verbindung von logikbasierten Wissensrepräsentationssystemen mit modernen Datenbankarchitekturen.
- Seniorprofessur für Automatentheorie: Logik in der Informatik, insbesondere Beschreibungslogiken, Automatische Deduktion mit Schwerpunkt auf Gleichheitsbehandlung, Automaten und Logik; Molekulares Rechnen