Former Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

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

Office Hours

By appointment

Research

• Automatic Structures

Teaching

• Winter Term 2014
• Exercise class Mathematical Logic II
• Seminar Logik, Komplexität, Spiele: Computational Social Choice

• Summer Term 2014
• Exercise class Algorithmic Model Theory 2
• Seminar Logik, Komplexität, Spiele: Definierbarkeit und Komplexität
• Winter Term 2013
• Exercise class Algorithmic Model Theory
• Seminar Logic, Complexity, Games: Axioms and Models of Set Theory

Recent Publications

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

All publications