Faried Abu Zaid

Faried Abu Zaid


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.


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


Recent Publications

All publications