Heerko Groefsema

http://www.hgroefsema.nl/

University of Groningen Groningen Assistant professor at the computer science department of the Bernoulli Institute of the University of Groningen. Applies formal methods to BPM.