Mathematische Grundlagen der Informatik
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
.
Forschung
AlMoTh
GAMES
AlgoSyn
Tafelseminar
Lehre
SS 2024
Algorithmische Modelltheorie
Provenienzanalyse und Halbringsemantik für Logiken und Spiele
WS 2023/24
Mathematische Logik II
Seminar Logik, Komplexität, Spiele: Fixpunktlogiken
Mitarbeiter
Erich Grädel
Sophie Brinke
Lovro Mrkonjić
Matthias Naaf
Benedikt Pago
Publikationen
Aktuelle Mitarbeiter
Erich Grädel
Sophie Brinke
Lovro Mrkonjić
Matthias Naaf
Benedikt Pago
Ehemalige Mitarbeiter
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
Bücher
Kontakt