Person

Dr. rer. nat., Privatdozent

Christof Löding

Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Adresse

Gebäude: E1, 1. Etage

Raum: 4115

Ahornstraße 55

52074 Aachen

Kontakt

workPhone
Telefon: +49 241 80 21712
Fax: +49 241 80 22215
Website

Sprechstunde

nach Vereinbarung
 

Studienberatung

  • Fachstudienberatung Lehramt Informatik
  • Fachstudienberatung Grundlagen der Informatik im Studiengang Technik-Kommunikation
 

Publikationen

Artikel

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]

  • 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]