I am the project leader of

• the NWO project "Modelling and Verification of Business Processes" (MoveBP)
• the NWO project  "Workflow Management for Large Parallel and Distributed Applications".

My research interests include:

•      Workflow management systems,
•    Process modelling and verification,
•      Verification of open reactive systems,
•      Verification of timed systems,
•      Data abstractions,
•      Petri nets,
•    Conformance testing.
  

Back to the home page