Ü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

• Anlässlich des 60. Geburtstags von Wolfgang Thomas ist das Buch "Logic and Automata: History and Perspectives" von J. Flum, E. Grädel und T. Wilke (Hrsg.) bei Amsterdam University Press erschienen.
• Das nächste Jahrestreffen von GAMES findet vom 8. bis zum 11. September 2008 in Warschau statt.

Forschungsnetzwerke

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

Lehrveranstaltungen im SS 2008

• Algorithmische Modelltheorie
• Mathematische Logik
• Seminar über 0-1-Gesetze in der mathematischen Logik
• Arbeitsgemeinschaft Logik und Automaten