Hasso-Plattner-Institut
  
Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Johannes Dyck

Akademischer Grad: Master of Science

Telefon: +49 (0)331 5509 257

E-Mail: johannes.dyck(at)hpi.uni-potsdam.de

Raum:  A-2.7

Forschungsinteressen:

  • Graphtransformationen
  • Formale Verifikation
  • Invariant-Checking

Lehre:

Publikationen