Dennis Nolte

Kontakt

Email: dennis.nolte(at)uni-due.de

Telefon: +49 (0)203 / 379 1401
Fax: +49 (0)203 / 379 3557

Raum: LF 263

Adresse: siehe Kontakt

Sprechstunde: nach Vereinbarung

Forschungsgebiete

  • Abstraktion von Graphtransformationssystemen
  • Terminierungs Analyse
  • Erkennbare Graphsprachen
  • Verifikation von Graphtransformationssystemen
  • Counterexample-guided abstraction refinement
  • ...

Veröffentlichungen

Siehe meine Liste von Veröffentlichungen

Lehre

  • WS 2017/18:
    • Übungsleitung für "Logik" (Webseite)
    • Seminarbetreuung "Graphen in der Informatik: Algorithmen und Modellierung" (Webseite)
  • SS 2017:
    • Übungsleitung für "Mathematische Strukturen" (Webseite)
  • WS 2016/17:
    • Übungsleitung für "Logik" (Webseite)
    • Seminarbetreuung "Graphen in der Informatik: Algorithmen und Modellierung" (Webseite)
  • SS 2016:
    • Übungsleitung für "Mathematische Strukturen" (Webseite)
  • WS 2015/16:
    • Übungsleitung für "Logik" (Webseite)
    • Seminarbetreuung "Quantitative Modelle der Informatik" (Webseite)
  • SS 2015:
    • Übungsleitung für "Mathematische Strukturen" (Webseite)
    • Seminarbetreuung "Quantitative Modelle der Informatik" (Webseite)
  • WS 2014/15:
    • Übungsleitung für "Logik" (Webseite)
    • Seminarbetreuung "Quantitative Modelle der Informatik" (Webseite)
  • SS 2014:
    • Blockseminarbetreuung "Spiele in der Informatik" (Webseite)
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin