He holds an MSc from Eindhoven University of Technology and a PhD from the Free University Amsterdam. His research interests include modelling and verification of probabilistic systems, model checking Java code, and modelling and verification of business processes.