Faried Abu Zaid

Faried Abu Zaid

Adresse

Mathematische Grundlagen der Informatik
RWTH 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

Aktuelle Publikationen

Alle Publikationen