Christof Löding
|
Kontakt
|
Studienberatung
- Lehramt Informatik
- Grundlagen der Informatik im Studiengang Technik-Kommunikation
- Ehemals (2006-2008) Anwendungsfächer
Biologie, BWL, Chemie, Mathematik, Physik in der Informatik.
Wurde jetzt übernommen von Walter Unger
Publikationen
- Liste mit downloads
- Liste auf DBLP
- Abschlussarbeiten:
- C. Löding,
Logic and Automata over Infinite Trees,
Habilitationsschrift, RWTH Aachen, 2009
[pdf] - C. Löding,
Infinite Graphs Generated by Tree Rewriting,
Dissertation, RWTH Aachen, 2003
[pdf, ps, ps.gz] - C. Löding, Methods for the
Transformation of Omega-Automata: Complexity and Connection to Second
Order Logic,
Diplomarbeit, Christian-Albrechts-Universität zu Kiel, 1998
[pdf, ps, ps.gz]
- C. Löding,
Logic and Automata over Infinite Trees,
Habilitationsschrift, RWTH Aachen, 2009
- Kapitel über unbeschränkt verzweigte Bäume in der neuen Version von TATA: Tree Automata Techniques and Applications (veröffentlicht am 12. Oktober, 2007).
- Entwurf: chapter on automata on infinite trees for the handbook of the AutoMathA project.
Aktivitäten
Eingeladene Vorträge
- Title tba. 4th International Symposium on Games, Automata, Logics and Formal Verification, Borca di Cadore, Dolomites, Italy - August 29-31, 2013
- Title tba. 17th International Conference on Developments in Language Theory, Marne-la-Vallée, France, June 18-22, 2013
- Uniformization in automata theory. 14TH Congress of Logic, Methodology and Philosophy of Science. Nancy, France, July 19-26, 2011 [PDF]
- Strategy Synthesis for Infinite Games. On the Posterity of Büchi. Lausanne, Switzerland, March 31-April 1, 2011. [PDF]
- Automata on Infinite Trees. Highlights of AutoMathA. Vienna, Austria, November 21-24, 2010.
- Infinite Games and Program Synthesis from Logical Specifications. Tutorial bei der 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 2010.
- Finite Set Interpretations and Tree Automatic Structures of Higher Order. Workshop on Higher-Order Recursion Schemes and Pushdown Automata in Paris, France, March 2010.
- Automata for Boundedness Problems on Trees. Tutorial bei dem Workshop on Distance Automata in Paris, France, November 2009. [PDF]
- Games and Automata for Verification, Tutorial bei GAMES 2009 in Udine, Italien. [PDF]
- Definability Questions for MSO, Workshop on Automata in Algorithmic Logic, Stuttgart, 2009. [PDF]
- Tutorial über Automaten und Spiele bei der GAMES Springschool 2009. [PDF]
- Tutorial über unendliche Spiele bei MOVEP 2008. [PDF]
Programmkomitees
- MFCS 2013
- FSTTCS 2012
- GAMES 2012
- MOVEP 2012
- CLoDeM 2012
- MFCS 2011
- AFL 2011
- CSL 2010
- GandALF 2010
- CLoDeM 2010
- AutoMathA 2009
- STACS 2008
- INFINITY 2007
Organisation
- Summer school MOVEP 2010
- Workshop on tree automata funded by the ESF within the AutoMathA project.
Projekte
- Automatentheoretische Verifikationsprobleme mit Ressourcenschranken gefördert von der DFG
- DFG-Graduiertenkolleg AlgoSyn
- Algorithmische Theorie der Baumautomaten gefördert von der DFG
Weiteres
- Mitglied der Endrundenjury des Bundeswettbewerbs Informatik
Lehre
Vorlesungen
- Tree Automata (WS 12/13)
- Mathematische Logik (SS 12)
- Infinite Games (SS 12)
- Tree Automata (WS 11/12)
- Algorithmisches Lernen (WS 11/12)
- Infinite Games (SS 11)
- Automaten, Sprachen, Komplexität (SS 11)
- Infinite Computations (WS 10/11)
- Infinite Games (SS 10)
- Algorithmisches Lernen (WS 09/10)
- Baumautomaten (SS 09)
- Automaten auf unendlichen Wörtern (WS 08/09)
- Angewandte Automatentheorie (SS 07)
- Unendliche Spiele (WS 05/06)
- Unendliche Transitionssysteme (SS 05)
- Baumautomaten und Anwendungen (WS 04/05)
- Model-Checking (WS 03/04, mit W. Thomas)