Mathematische Grundlagen der Informatik
Über uns
Das Lehr- und Forschungsgebiet für Mathematische Grundlagen der Informatik ist Teil der Fachgruppe Mathematik. Es besteht jedoch sowohl in der Forschung als auch in der Lehre eine starke Zusammenarbeit mit der Fachgruppe Informatik, insbesondere mit dem Lehrstuhl für Informatik 7 (Prof. Dr. Martin Grohe).
Die Hauptforschungsgebiete des Lehr- und Forschungsgebietes sind Logik, die Theorie unendlicher Spiele und Komplexitätstheorie mit einem besonderen Augenmerk auf Logik in der Informatik, algorithmische Fragen in logischen Systemen, algorithmischer Modelltheorie und deskriptiver Komplexität. Auf der methodologischen Seite spielen Fixpunktlogiken, Spiele und Automaten eine zentralle Rolle in unserer Forschung.
Forschungsnetzwerke
|
Games for Design and Verification |
| LINT | Logic for Interaction |
|
Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme |