Person
Dr. rer. nat., PrivatdozentChristof Löding
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
Address
Building: E1, 1. Etage
Room: 4115
Ahornstraße 55
52074 Aachen
Contact
- workPhone
- Phone: +49 241 80 21712
Fax: +49 241 80 22215
Office Hours
- nach Vereinbarung
Academic advising
- Fachstudienberatung Lehramt Informatik
- Fachstudienberatung Grundlagen der Informatik im Studiengang Technik-Kommunikation
Publications
Articles
Theses
-
C. Löding, Logic and Automata over Infinite Trees, Habilitation thesis, RWTH Aachen University, 2009 [pdf]
-
C. Löding, Infinite Graphs Generated by Tree Rewriting, Doctoral thesis, RWTH Aachen University, 2003 [pdf]
- C. Löding, Methods for the Transformation of Omega-Automata: Complexity and Connection to Second Order Logic, Diploma thesis, Christian-Albrechts-Universität of Kiel, 1998 [pdf]
Projects
- DFG Research Training Group UnRaVeL
- Transducer Synthesis from Automaton Definable Specifications funded by the DFG
- Cassting, EU project, FP7
- Automata-theoretic verification with resource bounds funded by the DFG.
- DFG Research Training Group AlgoSyn