Faried Abu Zaid
Adresse
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
Fax: | +49-241-80-22215 |
E-Mail: | abuzaid [AT] logic.rwth-aachen.de |
Sprechzeiten
Nach Vereinbarung.Forschung
Meine Forschungsinteressen liegen hauptsächlich in der algorithmischen Modelltheorie.Insbesondere interessiere ich mich für
- endliche Darstellungen unendlicher Strukturen, vor allem Darstellungen durch Automaten,
- endliche Modelltheorie und descriptive Komplexität, sowie
- dynamische Fixpunktlogiken (z.B. Erweiterungen von PDL wie BSFP).
Lehre
- Wintersemester 2013
- Sommersemester 2013
- Wintersemester 2012
- Übungen zur Vorlesung Mathematische Logik 2
- Seminar Logik, Komplexität, Spiele: Endliche Modelltheorie
- Wintersemester 2011
- Übungen zur Vorlesung Algorithmische Modelltheorie
- Seminar Logik, Komplexität, Spiele: Automatische Strukturen
- Sommersemester 2011
Aktuelle Publikationen
- F. Abu Zaid, A. Dawar, E. Grädel, and W. Pakusa. Definability of Summation Problems for Abelian Groups and Semigroups. In Proceedings of 32th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017.
- 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. Abu Zaid. Algorithmic Solutions via Model Theoretic Interpretations. PhD thesis, RWTH Aachen University, 2016.
- F. Abu Zaid, E. Grädel, M. Grohe, and W. Pakusa. Choiceless Polynomial Time on structures with small Abelian colour classes. In Mathematical Foundations of Computer Science 2014, vol. 8634 of Lecture Notes in Computer Science, pp. 50-62. Springer, 2014.
- F. Abu Zaid, E. Grädel, and S. Jaax. Bisimulation Safe Fixed Point Logic. Advances in Modal Logic, Volume 10, 2014.