• Lehrstuhl
• Forschung / Projekte
• Lehre
• Team
  • Gruppe
  • Ehemalige
• Diplomarbeiten
• Publikationen
• Kontakt
• Konferenzen / Workshops
• Links

Christof Löding

Kontakt Anschrift RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen Büro Raum 4115 (Gebäude E1), Ahornstr. 55, 52074 Aachen Tel. +49 241 80 21712 E-Mail loeding (ät) informatik.rwth-aachen.de

Studienberatung

• Lehramt Informatik
• Grundlagen der Informatik im Studiengang Technik-Kommunikation
• Ehemals 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, 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]
• Kapitel über unbeschränkt verzweigte Bäume in der neuen Version von TATA: Tree Automata Techniques and Applications (veröffentlicht am 12. Oktober, 2007).

Vorträge

• Tutorial über unendliche Spiele bei MOVEP 2008.
• Tutorial über Automaten und Spiele bei der GAMES Springschool 2009.

Aktivitäten

• Mitglied im Programmkomitee von AutoMathA 2009
• Mitglied im Programmkomitee von STACS 2008
• Mitglied im Programmkomitee von INFINITY 2007
• Projekt Algorithmische Theorie der Baumautomaten gefördert von der DFG.
• Organisator eines Workshops über Baumautomaten gefördert von der ESF im Rahmen des Projekts AutoMathA.

Lehre

Vorlesungen

• Baumautomaten (summer 2009, in german)
• 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)