Frühere Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

Fax:	+49-241-80-22215
E-Mail:	reinhardt [AT] logic.rwth-aachen.de

Sprechstunden

Nach Vereinbarung

Forschung

• Automatic Structures

Lehre

• Sommersemester 2016
• Übungen zur Vorlesung Algorithmische Modelltheorie
• Sommersemester 2015
• Übungen zur Vorlesung Mathematische Logik
• Wintersemester 2014
• Übungen zur Vorlesung Mathematische Logik II
• Seminar Logik, Komplexität, Spiele: Computational Social Choice
• Sommersemester 2014
• Übungen zur Vorlesung Algorithmische Modelltheorie 2
• Seminar Logik, Komplexität, Spiele: Definierbarkeit und Komplexität
• Wintersemester 2013
• Übungen zur Vorlesung Algorithmische Modelltheorie
• Seminar Logik, Komplexität, Spiele: Axiome und Modelle der Mengenlehre

Aktuelle Publikationen

• F. Abu Zaid, E. Grädel, and F. Reinhardt. Advice Automatic Structures and Uniformly Automatic Classes. In 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017.
• F. Reinhardt. Automatic Structures with Parameters. Diploma thesis, RWTH-Aachen, 2013.

Alle Publikationen