Other Information#

Ph.D.'s supervised (as of June 2010) in chronological order#

  • 1.Theodorus (Theo) P. van der Weide, Datastructures: an axiomatic approach and the use of binomial trees in developing and analyzing algorithms, RU Leiden 4-16-1980, (1th promotor prof dr A.A. Ollongren, 2nd promotor prof dr J. van Leeuwen, referent dr J.A. Bergstra)
  • 2.W. Pieter (Peter) Weijland, Synchrony and asynchrony in process algebra, UvA 6-15-1989, (copromotor dr J.C.M. Baeten)
  • 3.Frits W. Vaandrager, Algebraic techniques for conccurrency and their application, UvA 2-2-1990,
  • 4.Lou M. G. Feys, A formalization of design methods, TU/e 2-23-1990, (1th promotor prof dr F.E.J. Kruseman Aretz)
  • 5.Willem Jonker, The design and implementation of a knowledge representation and processing language, U Utrecht 3-23-1990, (2nd promotor prof dr J. Treur)
  • 6.Robert J. van Glabbeek, Comparative concurrency semantics and refinement of actions, VU 5-16-1990, (1th promotor prof dr J.W. Klop, referent prof dr G. Winskel)
  • 7.Cornelis (Kees) A. Middelburg, Syntax and semantics for VVSL, a language for structured VDM specifications, UvA 9-27-1990, (2nd promotor prof dr C.B. Jones)
  • 8.Linda C. van der Gaag, Probability-based models for plausible reasoning, UvA 9-26-1990, (2e promotor prof dr R.D. Gill)
  • 9.Johan Zuidweg, Concurrent system verification with process algebra, U Leiden 11-8-1990, (1e promotor prof dr A. Ollongren, referent prof dr A. Mazurkiewicz)
  • 10.Johannes (Hans) C. Mulder, Case studies in process specification and verification, UvA 12-12-1990, (copromotor dr C.P.J. Koymans)
  • 11.Joseph L. M. Vrancken, Studies in process algebra, algebraic specifications and parallelism, UvA 4-9-1991, (2nd promotor prof dr P. Klint)
  • 12.Jan Friso Groote, Process algebra and structured operational semantics, UvA 11-1-1991, (copromotor dr J.C.M. Baeten )
  • 13.Frederik (Freek) Wiedijk, Persistence in algebraic specifications, UvA 12-12-1991, (1th promotor prof dr P. Klint)
  • 14.Sjouke Mauw, PSF- a process specification formalism, UvA 12-18-1991, (2nd promotor prof dr J.C.M. Baeten)
  • 15.Christiaan Verhoef, Linear unary operators in process algebra, UvA 6-1-1992
  • 16.Alban Ponse, Process algebras with data, UvA 6-9-1992, (2nd promotor prof dr J.C.M. Baeten)
  • 17.Jan Gustafsson, Abstract datatypes for communication protocols: specification, implementation and validation, Ecole Polytechnique Federale de Lausanne, These No 1076 1992 (rapporteur prof C. Petitpierre, corappoteurs: prof J. Bergstra, prof B. Faltings, dr E. Mumprecht)
  • 18.Leen Helmink, Tools for proofs and programs, UvA 3-19-1993, (2nd promotor dr P. Klint, 3th promotor prof dr H. P. Barendregt)
  • 19.A. Stefanus (Steven) Klusener, Models and axioms for a fragment of real time process algebra, TU/e 12-10-1993, (1th promotor prof dr J.C.M. Baeten)
  • 20.Nicoline J. Drost, Process theory and equation solving, UvA 2-10-1994, (copromotor dr I. Bethke )
  • 21.Henri P. Korver, Protocol verification in muCRL, UvA 6-29-1994, (2nd promotor prof dr J.C.M. Baeten)
  • 22.Willem Jan (Wan) Fokkink, Clocks, trees and stars in process theory, UvA 12-1-1994, (2nd promotor prof dr J.C.M. Baeten)
  • 23.J. Jacobus (Jacob) Brunekreef, On modular algebraic protocol specification, UvA 2-17-1995
  • 24.Gerrit (Gert) J. Veltink, Tools for PSF, UvA 6-9-1995
  • 25.Jacobus J. (Jos) van Wamel, Verification techniques for elementary data types and retransmission protocols, UvA 9-15-1995, (copromotor dr P.H. Rodenburg)
  • 26.Javier O. Blanco, The state operator in process algebra, TU/e 1-30-1996, (1th promotor prof dr J.C.M. Baeten)
  • 27.M. P. Alexander (Alex) Sellink, Computer-aided verification of protocols, U Utrecht 2-27-1996, (copromotor dr ir J.F. Groote)
  • 28.Jan C. (Jaco) van der Pol, Termination of higher order rewrite systems, U Utrecht 12-11-1996, (copromotor dr M. Bezem)
  • 29.Joris A. Hillebrand, Experiments in Specification Re-engineering, UvA 12-12-1996, (copromotor dr M.G.J. van den Brand )
  • 30.Erik Kwast, Protocol data dependencies with an application in conformance test generation, U Utrecht 10-31-1997
  • 31.Doeko J. B. Bosscher, Grammars modulo bisimulation, UvA 10-23-1997, (copromotor dr A. Ponse)
  • 32.Jan Joris Vereijken, Discrete-time process algebra, TU/e 12-18-1997, (1th promotor prof dr J.C.M. Baeten)
  • 33.Sebastiaan F. M. van Vlijmen, Algebraic specification in action, U Utrecht 9-18-1998
  • 34.Marcus J. Hollenberg, Logic and bisimulation, U Utrecht 3-12-1998, (copromotor dr A. Visser)
  • 35.Gertjan Kamsteeg, Formalization of process algebra with data in the calculus of constructions with inductive types, U Leiden 5-18-1999, (1th promotor prof dr A. Ollongren)
  • 36.Rene L. Krikhaar, Software architecture reconstruction, UvA 6-29-1999, (copromotor dr C. Verhoef)
  • 37.Arno G. Wouters, Explanation without a cause, U Utrecht 11-3-1999, (1th promotor prof dr A.A. Derksen)
  • 38.Karl M. M. de Leeuw, Cryptology and statecraft in the Dutch republic, UvA 1-25-2000, (2nd promotor prof dr N.C.F. van Sas )
  • 39.Roberto Poli, ALWIS: ontology for knowledge engineers, U Utrecht 2-21-2001
  • 40.Sebastiaan (Bas) Pascal Luttik, Choice quantification in process algebra, UvA 4-3-2002, (2nd promotor prof dr ir J.F. Groote)
  • 41.Mark B. van der Zwaag, Models and logics for process algebra, UvA 10-11-2002
  • 42.R. Dimitri A. Hendriks, Metamathematics in Coq, U Utrecht 10-31-2003, (2nd promotor prof dr M. Bezem)
  • 43.Guus P. A. J. Delen, Decision- en controlfactoren voor IT-sourcing, UvA 5-17-2005, (2nd promotor prof dr C. Verhoef )
  • 44.Vu Thuy Duong, Semantics and applications of process and program algebra, UvA 2-13-2007, (copromotores dr I. Bethke and dr A. Ponse)
  • 45.Bob Diertens, Software Engineering with Process Algebra, UvA 10-29-09, (copromotor dr. A. Ponse)

Any further pages in alphabetic order of their title as created by you.

Just click at "Create new page", then type a short title and click OK, then add information on the empty page presented to you (including maybe a picture from your harddisk or a pdf-file by using the "Upload" Button) and finally click at "Save".
...no Data available yet!

Imprint Privacy policy « This page (revision-5) was last changed on Thursday, 14. November 2013, 15:31 by Admin Acad
  • operated by