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. Wolfgang Thomas).

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.

Aktuelles

Aufgrund von Renovierungsarbeiten sind unsere Büros temporär umgezogen. Sie finden die neuen Raumnummern unter Mitarbeiter.
Die erste Nordic Spring School in Logic findet vom 27. Mai bis zum 31. Mai in Nordfjordeid (Norwegen) statt.
Frühzeitige Registrierung: 15. Januar 2013 - 15. März 2013

Forschungsnetzwerke

	Games for Design and Verification
LINT	Logic for Interaction
	Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme