Jan Stückrath

Kontakt

Name: Jan Stückrath
E-mail: jan.stueckrath(at)uni-due.de
Telefon: +49 (0)203 / 379 3566
Fax: +49 (0)203 / 379 3557
Raum: LF 265
Adresse: siehe Kontakt
Sprechstunde: nach Vereinbarung

Forschungsgebiete

  • Graphtransformationssysteme
  • Graphminoren Theorie
  • Wohlquasiordnungen auf Graphen
  • Wohlstrukturierte Transitionssysteme
  • Verifikation von Graphtransformationssystemen

Veröffentlichungen

Eine Liste meiner Veröffentlichungen befindet sich hier.

Als Teil meiner Forschung habe ich das Tool Uncover entwickelt.

Lehre

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin