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

Johannes Dyck

Degree: Master of Science

Telephone: +49 (0)331 5509 257

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

Room:  A-2.7

Research interests:

  • Graph Transformation
  • Formal Verification
  • Invariant Checking

Teaching:

Publications