UvA homepage of Jan Bergstra

Contents

• Contact
• Positions
• Memberships
• Roles
• Editorial Activities
• Conference Organization
• Supervised PhDs
• Recent publications and reports
• Research Projects
  1. Long Term Research Projects
  2. Short Term Research Projects
• Publications, Pictures and CV

Contact

IvI (Informatics Institute): Science Park 904, 1098 XH, Amsterdam, The Netherlands

visitors: Science Park 904, 1098 XH Amsterdam, (room C2.243),
surface mail: Postbus nr. 94214, 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

• hoogleraar informatica (1985-heden), UvA
  (professor of informatics, Informatics Institute in the Faculty of Science of the University of Amsterdam)
• honorary visiting professor Department of Computer Science, University of Swansea (Wales, UK)

TOP

Memberships

• WG, Wiskundig Genootschap, (1976)
• VAWO, Vakbond voor de Wetenschap, (1998)
• DVMLG, Deutsche Vereinigung fuer Mathematische Logic und fuer Grundlagen der Exakten Wissenschaften, (1999)
• PUG, Provinciaal Utrechts Genootschap voor Kunsten en Wetenschappen (2002)
• PON, Platform Outsourcing Nederland, (2006), bestuurslid sinds november 2010
• AE, Academia Europaea, informatics section, (2006)
• KNAW, Koninklijke Nederlandse Academie van Wetenschappen (2011), secretaris best. sectie wiskunde, (per 01-06-2012)
• Bestuur Stichting PATO (2001), voorzitter sinds september 2010
• Bestuur Stichting PRAGO (2009), voorzitter sinds april 2011

TOP

Roles (and former roles) within UvA

• (SINCE 1-1-2012) directeur Instituut voor Informatica FNWI (director of the Informatics Institute)
  
• (SINCE 1-1-2011) voorzitter ICTO programmaraad FNWI
• (UNTIL 1-1-2012) directeur Graduate School of Informatics
• (UNTIL 1-7-2012) voorzitter COR UvA

TOP

Editorial Activities

• Handbooks:
  • coeditors: Alban Ponse and Scott Smolka, "Handbook of Process Algebra" (2001)
  • coeditor: Karl de Leeuw, 'History of Information Security, a comprehensive Handbook' (2007)
  • coeditor: Mark Burgess, 'Handbook of Network and Systems Administration' (2007)
• Managing editor of:
  • 'Science of Computer Programming (SCP)'
  • (with John V Tucker) 'Journal of Logic and Algebraic Programming (JLAP)'
• Member of the editorial board of:
  • 'Journal of Applied Logic (JAL)'
  • 'Computer Science Reviews (CSR)'
  • 'Scientific Annals of Computer Science (SACS)'
  • 'Journal of Universal Computer Science (JUCS)'
  • 'Advances in Software Engineering (AiSE)'
  • 'Journal of Algorithms in Cognition, Informatics and Logic'
  • 'The Open Software Engineering Journal (TOSEJ)'
  • 'Scholarly Research Exchange (SRE)'
• Co-editor (with Michael Mislove) of 'Atlantis Studies in Computer Science'

TOP

Recent Conference Organization

• PC-chair: NIOC 2007
• OC-chair: HOSC 2005, HOSC 2006, (HOSC 2007)
• PC-member: AIMS 2007, AIMS 2008, NIOC 2009, AIMS2009

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

• Partial recent information accessible via the (computer science oriented) DBLP bibliography server DBLP(jan bergstra).
• Currently I am not self-archiving published papers after publication. (There is in fact an unfortunate and unresolved disagreement with some important publishers about that matter.) Most of my recent work can be found in digital form and in most recent versions on arXiv. The Computer Science items included in arXiv are also listed in DBLP though with some delay.
• Remaining 2008 items are listed in: 2008
• 2007
• 2006

TOP

Research Projects

A) Long Term Research Projects

• Process Algebra (starting in 1982 with J.W. Klop):
  PSF - Process Specification Formalism
• Abstract Data types and Algebraic Specification (starting in 1978 with J.V. Tucker):
  Meadows & Fields (division by zero), Tuplix Calculus
• Instruction Sequences (starting in 1998 with M.E. Loots):
  PGA - Program Algebra, Why Program Algebra, And Why Not, Progic
• Proposition Algebra (starting in 2009 with A. Ponse)

B) Short Term Research Projects (with external funding)

• Thread Algebra (NWO/Open Competition: Thread Algebra, with C.A. Middelburg):
  TA4SI, Why Thread Algebra, And Why Not
• Maurer computers and computer architecture (NWO/Glance: Microgrids): pipelined instruction processing
• Software inventions and software patents (EU consultancy project: subcontract via CWI):
  HOSC 2006 presentation on software inventions, patents, SWIC, how to find a software patent,
• Software asset sourcing (NWO/Jacquard: Symbiosis)

TOP