Project Details
Person
Privatdozent Dr. Christof Löding
Address
Rheinisch-Westfälische Technische Hochschule Aachen
Fachgruppe Informatik
Informatik 7 - Lehrstuhl Logik und Theorie diskreter Systeme
Ahornstraße 55
52074 Aachen
-
As Applicant
-
Current projects
-
Reduction and Learning Techniques for omega-Automata (Research Grants)
-
-
Completed projects
-
Algorithmische Theorie der Baumautomaten (Research Grants) -
Automatentheoretische Verifikationsprobleme mit Ressourcenschranken (Research Grants)
-
Synthesis of transducers from automaton definable specifications (Research Grants)
-
-
Current projects
-
As Participating Researcher
-
Current projects
-
GRK 2236: UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic (Research Training Groups)
-
-
Completed projects
-
GRK 1298: Algorithmic Synthesis of Reactive and Discrete-continuous Systems (AlgoSyn) (Research Training Groups)
-
-
Current projects
