Mathematical Foundations of Computer Science
Prof. Dr. Erich Grädel
Deutsch
English
Łukasz Kaiser
Lukasz Kaiser is working at LIAFA in Paris since 2010. His new webpage can be found at
here
.
Research
AlMoTh
GAMES
AlgoSyn
Blackboard Seminar
Teaching
SS 2024
Algorithmic Model Theory
Provenance Analysis and Semiring Semantics for Logics and Games
WS 2023/24
Mathematical Logic II
Seminar Logic, Complexity, Games: Fixed-Point Logics
People
Erich Grädel
Sophie Brinke
Lovro Mrkonjić
Matthias Naaf
Benedikt Pago
Publications
Current Members
Erich Grädel
Sophie Brinke
Lovro Mrkonjić
Matthias Naaf
Benedikt Pago
Former Members
Faried Abu Zaid
Vince Bárány
Dietmar Berwanger
Achim Blumensath
Katrin Dannert
Jacques Duparc
Francicleber Martins Ferreira
Diana Fischer
Tobias Ganzow
Elisabeth Gonçalvès
Colin Hirsch
Matthias Hoelzel
Ł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
Richard Wilke
Books
Contact