Prof. Martin Grohe
Prof. Wolfgang Thomas




Our group's interests in both research and teaching are in various areas within the theory of computation, among them logic, complexity theory, algorithms, and automata theory, and especially the numerous connections between these areas.
Computer Science 7 is part of the Computer Science Department within the Faculty of Mathematics, Computer Science and Natural Sciences. The chair is currently in a transition phase and will be jointly led by Prof. Grohe andÂ Prof. Thomas for the next few years. There is a close collaboration with the Mathematical Foundations of Computer Science group.