Professional history

1980-1985

Student of Philosophy: Graduate courses on Mathematical Logic, Philosophy of Science and Computer Science.

1985

Master's degree in Philosophy at the University of Groningen. Master's Thesis: ``The expressive power of dynamic logics''. Supervisor: J.F.A.K. van Benthem.

1985-89

Researcher and Ph. D. student at the Centre of Mathematics and Computer Science in Amsterdam as participant of ESPRIT project 415.

1989-93

Assistent professor at the Technical University of Eindhoven.

1991

Ph. D. degree in Computer Science (Free University, Amsterdam): Reasoning about dynamically evolving process structures (A proof theory of the parallel object-oriented language POOL). Supervisor: J.W. de Bakker.

1993-1994

Assistent professor at the Free University of Amsterdam.

1994-

Senior researcher and teacher at the University of Utrecht.

2002-

Senior researcher at the Centre of Mathematics and Computer Science in Amsterdam.

2003-2008

Associate professor at the University of Leiden (LIACS).

2008-

Professor "Program Correctness" at the University of Leiden (LIACS).

Currently employed by

• Centre of Mathematics and Computer Science in Amsterdam.
• University of Leiden, LIACS.

Titles

• Master's degree in Philosophy
• Ph. D. degree in Computer Science

Research interests

• Semantics and Proof-Theory of (Concurrent) Programming Languages
• Computer-aided specification and verification
• Component-based software engineering
• Multi-Agent Systems