Name:Arend Rensink

Bio:

I’m a full professor at the University of Twente. My research area is Software Modelling, Transformation and Verification, with a focus on the theory and practice of Graph Transformation. For the latter, I have created (and maintain) the tool GROOVE; see https://groove.cs.utwente.nl.

Country:Netherlands

Affiliation:University of Twente, The Netherlands

Research interests:Software Correcness, Graph Transformation, Model Transformation, Maintainability, Domain-Specific Languages, Verification