Allgemeines

  Flur Informatik 7 Urheberrecht: M. Ritzert

Die Forschungsinteressen des Lehrstuhls umfassen ein breites Spektrum von Themen aus der
Theoretischen Informatik und angrenzenden Gebieten wie mathematischer Logik und Diskreter
Mathematik. Auf der Anwendungsseite interessieren wir uns vor allem für Themen im Bereich
Data Science.

Ein zentrales Thema in Professor Grohes Forschung ist das Zusammenspiel von Logik, Struktur
und Algorithmen. Mit seinen Doktorandinnen, Doktoranden und Postdocs arbeitet er derzeit an Themen aus der
algorithmischen Graphentheorie, der deskriptiven Komplexitätstheorie, der Datenbanktheorie und
der Theorie des maschinellen Lernens.

Dr. Lödings Forschungsschwerpunkt liegt in den Bereichen Automaten und Logik. Mit seinen
Doktoranden arbeitet er an der Erforschung von endlichen Automaten auf unendlichen Objekten,
unendlichen Spielen und deren Anwendungen in der automatischen Verification und der
Programmsynthese.