Mathematical Foundations of Computer Science
Prof. Dr. Erich Grädel
Deutsch
English
Research
AlMoTh
GAMES
AlgoSyn
Blackboard Seminar
Teaching
WS 2018/19
Seminar Computational Social Choice
Logic and Games
People
Erich Grädel
Katrin Dannert
Matthias Hoelzel
Benedikt Pago
Richard Wilke
Publications
Current Members
Erich Grädel
Katrin Dannert
Matthias Hoelzel
Benedikt Pago
Richard Wilke
Former Members
Faried Abu Zaid
Vince Bárány
Dietmar Berwanger
Achim Blumensath
Jacques Duparc
Francicleber Martins Ferreira
Diana Fischer
Tobias Ganzow
Elisabeth Gonçalvès
Colin Hirsch
Łukasz Kaiser
Stephan Kreutzer
Simon Lessenich
Anders Malmström
Antje Nowack
Martin Otto
Wied Pakusa
Bernd Puchala
Roman Rabinovich
Frederic Reinhardt
Eric Rosen
Svenja Schalthöfer
Marc Spielmann
Jurek Tyszkiewicz
Michael Ummels
Books
Contact