Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

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

Office Hours

By appointment.

Research

My research interests are in the field of algorithmic model theory.
I am particularly interested in

• finite presentations of infinite structures, especially presentations by automata,
• finite model theory and descriptive complexity, and
• dynamic fixed point logics (e.g. extensions of PDL like BSFP).

Teaching

• Winter Term 2013
• Seminar Logic, Complexity, Games: Axioms and Models of Set Theory
• Summer Term 2013
• Exercises for the course Logic und Games
• Winter Term 2012
• Exercises for the course Mathematical Logic 2
• Seminar Logik, Komplexität, Spiele: Endliche Modelltheorie
• Winter Term 2011
• Exercises for the course Algorithmic Model Theory
• Seminar Logic, Complexity, Games: Automatic Structures
• Summer Term 2011
• Exercises for the course Mathematical Logic
• Seminar Logic, Complexity, Games: Algorithmic Aspects of Parity Games

Recent Publications

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

All publications