He has a PhD in Mathematics and worked in a consulting company for six years before becoming a Full Professor in Computer Science at Eindhoven University of Technology (TU/e) in 1984. From 1994 to 2005 he was for five years a partner of an important Dutch consulting company and for five years a partner at Deloitte. In 2004 he decided to only work at TU/e. He has published several articles in the areas of Markov processes, Petri networks, formal specifications methods, software engineering methods and tools, decision making support systems and workflows management systems. His scientific research interests are focused on Service Oriented Computing using Petri networks and properties tests for information systems using formal and statistical methods.