http://www.tu-ilmenau.de

Logo TU Ilmenau


INHALTE

Faried Abu Zaid hat von 2015 - 2018 im Fachgebiet Automaten und Logik gearbeitet.

Dr. Faried Abu Zaid

Kontakt 

E-Mail:faried.abu-zaid@tu-ilmenau.de
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

Sommersemester 2018

Wintersemester 2015/16

Regelmäßig

  • Übungen zu diversen Lehrveranstaltungen (ASK, AT, AuK, LuLP)