Mathematical Foundations of Computer Science
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.
- Due to renovation works our offices have moved. Please find to new rooms in the people section.
The first Nordic Spring School in Logic will take place in Nordfjordeid (Norway) from May 27 to May 31, 2013.
Early Registration: January 15, 2013 - March 15, 2013
|Games for Design and Verification|
|LINT||Logic for Interaction|
|Algorithmic Synthesis of Reactive and Discrete-Continuous Systems|