Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Johannes Dyck

Degree: Master of Science

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

Research interests:

  • Graph Transformation
  • Formal Verification
  • Invariant Checking

Teaching:

Publications