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
Letzte Vorlesungen
Mathematische Logik (SS 2023)
2 VL pro Woche
Algorithmische Modelltheorie (SS 2024)
Mathematische Logik II (WS 2023/24)
Logik und Spiele (WS 2021/22)
1 VL pro Woche
Provenienzanalyse und Halbringsemantik für Logiken und Spiele (SS 2024)
Quanten-Computing (SS 2023)
Logics for Reasoning about Uncertainty (SS 2021)
Seminar
Seminar Logik, Komplexität, Spiele: Fixpunktlogiken (WS 2023/24)
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