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