Project Details
Person
Professor Dr. Erich Grädel
Address
Rheinisch-Westfälische Technische Hochschule Aachen
Fachgruppe Informatik
Lehr- und Forschungsgebiet für Mathematische Grundlagen der Informatik
Ahornstraße 55
52074 Aachen
-
As Applicant
-
Current projects
-
Provenance Analysis for Logic and Games (Research Grants)
-
-
Completed projects
-
Theoretische Grundlagen und Model-Checking für Abstract-State-Machines (Research Grants)
-
Logic for Interaction (LINT) (Research Grants)
-
Partielle Information in Logik und Spielen (Research Grants) -
Automatic Structures (Research Grants)
-
Fixed point logics: expressive power, structure, complexity (Research Grants)
-
Logic, Symmetry, and Complexity (Research Grants)
-
-
Current projects
-
As Participating Researcher
-
Completed projects
-
GRK 1298: Algorithmic Synthesis of Reactive and Discrete-continuous Systems (AlgoSyn) (Research Training Groups)
-
-
Completed projects
