http://www.tu-ilmenau.de

Logo TU Ilmenau


INHALTE

Dr. Faried Abu Zaid

Kontakt 

E-Mail:faried.abu-zaid@tu-ilmenau.de
Telefon:+49 (0) 3677 69-4111
Büro:Zusebau, Raum 1055
Postadresse:Fachgebiet Automaten und Logik
Fakultät für Informatik und Automatisierung
Technische Universität Ilmenau
Postfach 100565
98684 Ilmenau
Lebenslauf:Curriculum Vitae 

 

 

Forschungsinteressen

Ich interessiere mich für Logik in der Informatik, wobei mein Schwerpunkt in der algorithmischen Modelltheorie liegt.

  • Endliche Darstellungen (potentiell) unendlicher Objekte und deren algorithmischen Handhabbarkeit
    • Automatische Strukturen
  • Zusammenhänge zwischen Logik und Komplexitätstheorie
    • Deskriptive Komplexität
    • Parametrisierte Komplexität

 

Dissertation: Algorithmic Solutions via Model Theoretic Interpretations

Lehrveranstaltungen

Wintersemester 2015/16