About Us

The research group on Mathematical Foundations of Computer Science is part of the Department of Mathematics, but there is a very intensive collaboration, both in research and teaching, with the Department of Computer Science, most notably with the research group Computer Science 7 (Prof. Dr. Wolfgang Thomas).

The main research areas of the group are logic, the theory of infinite games, and complexity, with particular emphasis on logic for computer science, algorithmic issues in logical systems, computational model theory, and descriptive complexity. On the methodological side, fixed point logics, games, and automata play a central role in our research.

News

• Dr. Łukasz Kaiser received the E.W. Beth Dissertation Prize for his PhD thesis "Logic and Games on Automatic Structures".
• Michael Ummels and Dominik Wojtczak (CWI, Amsterdam, The Netherlands) received the Best Student ICALP Paper Award of Track B for their paper titled: "The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games".

Research Networks

	Games for Design and Verification
LINT	Logic for Interaction
	Algorithmic Synthesis of Reactive and Discrete-Continuous Systems

Current Courses (WS 09/10)

• Complexity Theory and Quantum Computing
• Seminar Logic, Complexity, Games: Modern Solution Concepts in Game Theory