Degree: Master of Science

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

Research interests:

• Graph Transformation
• Formal Verification
• Invariant Checking

Teaching:

• Master project: Rebuilding and Maintaining Architecture Traces (winter term 2016/17)
• Supervised master's thesis: Using exchangeable constraint solvers for invariant checking on attributed graph transformation systems (2016)
• Bachelor project: Ein Framework für Graphdatenbanken auf Basis von Graphtransformationen und Multi-Core-Architekturen (2014/15)
• Seminar: Formal Foundations of Graph Transformation Systems (winter term 2014/15)
• Seminar: Automated Analysis of Formal Models (summer term 2014)
• Seminar: Automated Analysis of Formal Models (winter term 2013/14)
• Seminar: Automated Analysis of Formal Models (summer term 2013)
• Master project: Iterative Development and Execution of Consistency-Preserving Rule-Based Refactorings (winter term 2012/13)