Faried Abu Zaid

Adresse
Mathematische Grundlagen der InformatikRWTH 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
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.