Arend
2,253
reputation
1
17
16
I'm a professor at the University of Twente, The Netherlands. As part of my job I develop and maintain the graph transformation tool GROOVE (see http://sf.net/projects/groove), which enables rapid prototyping of dynamically evolving systems, state space exploration, and model checking.