[UvA-Logo]  UvA homepage of Jan Bergstra

Contents

Contact

IvI (Informatics Institute): Science Park 904, 1098 XH, Amsterdam, The Netherlands
visitors: Science Park 904, 1098 XH Amsterdam, (room C4.160),
surface mail: Postbus nr. 94232, 1090 GE Amsterdam, The Netherlands
Phone:
+31 20 525 7591 (IvI Section Theory of Computer Science)
+31 20 525 7460 (secretary at IvI, Petra Venema)
+31 65 155 xyzu (mobile, x,y,z, and u made available by other means only)
Email :
j.a.bergstra "at" uva "dot" nl

TOP

Positions

TOP

Former Position

Professor of Applied Logic, Utrecht Univerity, Department of Philosophy (1985-2008, part-time position, 1 day/week)

Memberships/nevenfuncties

TOP

Roles (and former roles) within UvA

TOP

Editorial Activities

TOP

Former Editorial Activities

Recent Conference Organization

TOP

Supervised PhDs

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)

TOP

Recent publications and reports

TOP

Research Projects

TOP

Last modified: