![[UvA-Logo]](uva.gif)
UvA homepage of Jan Bergstra
Positions
- hoogleraar programmatuur en software engineering (1985-heden), UvA
(professor of theoretical software engineering /
group leader of the
Section Software Engineering
of the CSP Laboratory of the Institute of Informatics in
the Faculty of Science of the University of Amsterdam)
- honorary visiting professor
Department of Computer Science, University of Swansea (Wales, UK)
TOP
Former Position
Professor of Applied Logic, Utrecht Univerity, Department of Philosophy (1985-2008, part-time position, 1 day/week)
Memberships
- WG, Wiskundig Genootschap (1976)
- VAWO (1998)
- DVMLG (1999)
- PUG, Provinciaal Utrechts Genootschap voor Kunsten en Wetenschappen (2002)
- PON, Platform Outsourcing Nederland (2006, vz. werkgroep onderzoek)
- AE, Academia Europaea, informatics section, (2006)
- Bestuur Stichting PATO (2001), Programmaraad informatica van PATON (2009)
- Bestuur Stichting PRAGO (2009)
TOP
Roles within UvA
- directeur "Master School of Informatics" van de FNWI
(director of the master school of informatics
within the Faculty of Sciences (FNWI))
programs:
- MSc grid computing
- MSc artificial intelligence
- MSc information studies
- MSc logic
- MSc software engineering
- MSc system and network engineering
hieraan gekoppelde rol:
- lid gebruikersgroep IC/UvA
- directeur "Amsterdam Professional
School of Science" van de FNWI
programs and tracks:
- MSc forensic science
- MSc mathematics and science education
- 60 ECTS M-tracks for all 120 ECTS MSc's of FNWI
- 60 ECTS CE-tracks for all 120 ECTS MSc's of FNWI
- FNWI participation in the MSc conservation science
(restauratorenopleiding)
- deputy director of IvI (IvI currently has a director and two deputy directors)
- head of laboratory CSP of IvI
- head of section software engineering within CSP (within IvI)
- member MT of IvI
- lid ORFNWI/UvA (ondernemingsraad van de FNWI) en daarbinnen
- fractieleider VAWO fractie
- lid commissie HRM/VGWM
- lid COR/UvA (centrale ondernemingsraad van de UvA), en daarbinnen
- lid van de commissie HRM
- lid van het DB en tevens voorzitter van de COR
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)'
- 'Advances in Software Engineering (AiSE)'
- 'Journal of Algorithms in Cognition, Informatics and Logic'
- 'The Open Software Engineering Journal (TOSEJ)'
- 'Scholarly Research Exchange (SRE)'
- Member of advisory board of
'Studies in Logic and Practical Reasoning'
TOP
Former Editorial Activities
- maandblad Informatie (lid redactie)
- Annals of Pure and Applied Logic (advisory editor)
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:
-
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)
-
W. Pieter (Peter) Weijland, Synchrony and asynchrony in process algebra,
UvA 6-15-1989,
(copromotor dr J.C.M. Baeten)
-
Frits W. Vaandrager, Algebraic techniques for conccurrency and their
application,
UvA 2-2-1990,
-
Lou M. G. Feys, A formalization of design methods,
TU/e 2-23-1990,
(1th promotor prof dr F.E.J. Kruseman Aretz)
-
Willem Jonker, The design and implementation of a knowledge representation
and processing language, U Utrecht 3-23-1990,
(2nd promotor prof dr J. Treur)
-
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)
-
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)
-
Linda C. van der Gaag, Probability-based models for plausible
reasoning,
UvA 9-26-1990,
(2e promotor prof dr R.D. Gill)
-
Johan Zuidweg, Concurrent system verification with process algebra,
U Leiden 11-8-1990,
(1e promotor prof dr A. Ollongren, referent prof dr A. Mazurkiewicz)
-
Johannes (Hans) C. Mulder, Case studies in process specification and
verification,
UvA 12-12-1990,
(copromotor dr C.P.J. Koymans)
-
Joseph L. M. Vrancken, Studies in process algebra, algebraic
specifications and parallelism,
UvA 4-9-1991,
(2nd promotor prof dr P. Klint)
-
Jan Friso Groote, Process algebra and structured operational
semantics,
UvA 11-1-1991,
(copromotor dr J.C.M. Baeten )
-
Frederik (Freek) Wiedijk, Persistence in algebraic specifications,
UvA 12-12-1991,
(1th promotor prof dr P. Klint)
-
Sjouke Mauw, PSF- a process specification formalism,
UvA 12-18-1991,
(2nd promotor prof dr J.C.M. Baeten)
-
Christiaan Verhoef, Linear unary operators in process algebra,
UvA 6-1-1992
-
Alban Ponse, Process algebras with data,
UvA 6-9-1992,
(2nd promotor prof dr J.C.M. Baeten)
-
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)
-
Leen Helmink, Tools for proofs and programs,
UvA 3-19-1993,
(2nd promotor dr P. Klint, 3th promotor prof dr H. P. Barendregt)
-
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)
-
Nicoline J. Drost, Process theory and equation solving,
UvA 2-10-1994,
(copromotor dr I. Bethke )
-
Henri P. Korver, Protocol verification in muCRL, UvA 6-29-1994,
(2nd promotor prof dr J.C.M. Baeten)
-
Willem Jan (Wan) Fokkink, Clocks, trees and stars in process theory,
UvA 12-1-1994,
(2nd promotor prof dr J.C.M. Baeten)
-
J. Jacobus (Jacob) Brunekreef, On modular algebraic protocol specification,
UvA 2-17-1995
-
Gerrit (Gert) J. Veltink, Tools for PSF,
UvA 6-9-1995
-
Jacobus J. (Jos) van Wamel, Verification techniques for elementary
data types and retransmission protocols,
UvA 9-15-1995,
(copromotor dr P.H. Rodenburg)
-
Javier O. Blanco, The state operator in process algebra,
TU/e 1-30-1996,
(1th promotor prof dr J.C.M. Baeten)
-
M. P. Alexander (Alex) Sellink, Computer-aided verification of protocols,
U Utrecht 2-27-1996,
(copromotor dr ir J.F. Groote)
-
Jan C. (Jaco) van der Pol, Termination of higher order rewrite
systems,
U Utrecht 12-11-1996,
(copromotor dr M. Bezem)
-
Joris A. Hillebrand, Experiments in Specification Re-engineering,
UvA 12-12-1996,
(copromotor dr M.G.J. van den Brand )
-
Erik Kwast, Protocol data dependencies with an application in
conformance test generation, U Utrecht 10-31-1997
-
Doeko J. B. Bosscher, Grammars modulo bisimulation,
UvA 10-23-1997,
(copromotor dr A. Ponse)
-
Jan Joris Vereijken, Discrete-time process algebra,
TU/e 12-18-1997,
(1th promotor prof dr J.C.M. Baeten)
-
Sebastiaan F. M. van Vlijmen, Algebraic specification in action,
U Utrecht 9-18-1998
-
Marcus J. Hollenberg, Logic and bisimulation, U Utrecht 3-12-1998,
(copromotor dr A. Visser)
-
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)
-
Rene L. Krikhaar, Software architecture reconstruction,
UvA 6-29-1999,
(copromotor dr C. Verhoef)
-
Arno G. Wouters, Explanation without a cause,
U Utrecht 11-3-1999,
(1th promotor prof dr A.A. Derksen)
-
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 )
-
Roberto Poli, ALWIS: ontology for knowledge engineers,
U Utrecht 2-21-2001
-
Sebastiaan (Bas) Pascal Luttik, Choice quantification in process algebra,
UvA 4-3-2002,
(2nd promotor prof dr ir J.F. Groote)
-
Mark B. van der Zwaag, Models and logics for process algebra,
UvA 10-11-2002
-
R. Dimitri A. Hendriks, Metamathematics in Coq,
U Utrecht 10-31-2003,
(2nd promotor prof dr M. Bezem)
-
Guus P. A. J. Delen, Decision- en controlfactoren voor IT-sourcing,
UvA 5-17-2005,
(2nd promotor prof dr C. Verhoef )
-
Vu Thuy Duong, Semantics and applications of process and program
algebra,
UvA 2-13-2007,
(copromotores dr I. Bethke and dr A. Ponse)
- 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
B) Short Term Research Projects (with external funding)
TOP