Ü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

• Dr. Łukasz Kaiser wurde für seine Dissertation "Logic and Games on Automatic Structures" mit dem E.W. Beth Dissertation Prize ausgezeichnet.
• Michael Ummels und Dominik Wojtczak (CWI, Amsterdam) erhielten für ihr Paper "The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games" den Best Student ICALP Paper Award in Track B.

Forschungsnetzwerke

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

Lehrveranstaltungen im WS 09/10

• Komplexitätstheorie und Quantum Computing
• Seminar Logik, Komplexität, Spiele: Moderne Lösungskonzepte in der Spieltheorie