Arend
2,158
reputation
1
15
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.