Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

Telefon:	+49-241-80-21715
Fax:	+49-241-80-22215
Büro:	2U02 (E1) / Ahornstr. 55
E-Mail:	abuzaid [AT] logic.rwth-aachen.de

Forschung

Meine Forschungsinteressen liegen hauptsächlich in der algorithmischen Modelltheorie.
Insbesondere interessiere ich mich für endliche Beschreibungen unendlicher Strukturen z.B. Beschreibungen durch Automaten.

Lehre

• Sommersemester 2011
• Übungen zur Vorlesung Mathematische Logik
• Seminar Logik, Komplexität, Spiele: Algorithmische Aspekte der Paritätsspiele
• Wintersemester 2011
• Übungen zur Vorlesung Algorithmische Modelltheorie
• Seminar Logik, Komplexität, Spiele: Automatische Strukturen

Aktuelle Publikationen

• F. Abu Zaid, E. Grädel, and Ł. Kaiser. The Field of Reals is not omega-Automatic. In Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012 (C. Dürr and T. Wilke, Eds.), 2012.
• F. Abu Zaid. Definability in $\omega$-Automatic Structures. Diploma thesis, RWTH-Aachen, 2011.

Alle Publikationen