Supervision of Ph. D. students

• Co-promotor of M. van Hulst: compositional verification of parallel programs,
  Utrecht University, June 21, 1995. Promotor: J.-J. Ch. Meyer.
• Co-promotor of R. van Eijk: Semantics of agent communication languages,
  Utrecht University, October 18, 2000. Promotor: J.-J. Ch. Meyer.
• Co-promotor of K. Hindriks: The agent programming language 3APL,
  Utrecht University, 2000. Promotor: J.-J. Ch. Meyer.
• Co-promotor of U. Hannemann: Semantical Analysis of Compositional Proof Rules for Concurrency,
  Utrecht University, October 30, 2000. Promotor: J. van Leeuwen, Utrecht University and guest-promotor: W.-P. de Roever, University of Kiel.
• Co-promotor of W. de Vries: Agent Interaction: Abstract Approaches to Modelling, Programming and Verify ing Multi-Agent Systems,
  Utrecht University, November 11, 2002. Promotores: J.-J. Ch. Meyer and J. Treur.
• Co-promotor of E. Abraham: An assertional proof system for multithreaded Java - theory and tool-support,
  LIACS, Januari 20, 2005. Promotores: W.P. de Roever and J.N. Kok.
• Co-promotor of C. Pierik: Validation techniques for object-oriented proof outlines,
  Utrecht University, May 3, 2006. Promotor: J.-J. Ch. Meyer.
• Co-promotor of M. Kyas: Verifying OCL specifications of UML models,
  LIACS, April 4, 2006. Promotores: W.P. de Roever and J.N. Kok.