Currently, my main interest is in application of graph transformations in the twin
For the purpose of the former, I am studying, on the one hand,
operational semantics based on graph transformation, as well as
abstraction techniques and model checking techniques for graphs. For
the purpose of the second, I am interested in automatic model
generation and refactoring using a graph-based representation of
models. This first subject is covered by the project GROOVE, the second by
- Spefication and verification of dynamic behaviour
- Verification of design-time models and model transformation
A particular application area where I intend to use graph
transformations as a behavioural model is in aspect-oriented
programming. This is embodied in the AOSD network of excellence.
My past interest was in the theory of concurrency, as embodied by
process algebra in
all its aspects, including equivalence and implementation relations,
semantic models (in
particular partial order models) and axiomatisations. Much of my
research has delved into
the issue of action refinement, which I still believe to be a
principle whose potential applications have not been realized in
practice. I also did some work in true
concurrency (especially event-based models) and testing theory (fair testing).
I studied computer science engineering at the University of Twente from
August 1982 onwards, and received my degree in August 1986. I then
until December 1990 as a researcher at the University of Twente, after
which I enrolled as a PhD student there under the supervision of Prof.
Brinksma. I received my PhD degree in August 1993, at which time I had
already started working as a lecturer at the University of Hildesheim.
In 1998 I moved back to the University of Twente, as an assistant
professor and, from 2000, as an associate professor. On 1 September 2010 I was appointed Full Professor on Software Modelling, Verification and Transformation.
Page provided by Arend Rensink.