If you made any changes in Pure these will be visible here soon.

Personal profile

Personal information

He received an MSc in mathematics in 1990 and a PhD in computer science in 1994, both from the University of Amsterdam. His PhD research was performed at CWI in Amsterdam. After a postdoc at Utrecht University and a lectureship at the University of Swansea, he became head of the Embedded Systems research group at CWI in 2001. Since 2004 he leads the Theoretical Computer Science group at the VU. Since 2012 he is also part-time professor Model-Based System Engineering at Eindhoven University of Technology.


His research focuses on the design and analysis of distributed systems, broadly construed. He works on formal analysis of computer protocols, supervisory control synthesis, concurrency theory, and distributed algorithms.

He wrote three textbooks: Introduction to Process Algebra (Springer, 2000), Modelling Distributed Systems (Springer, 2007) and Distributed Algorithms: An Intuitive Approach (MIT Press, 2013).

He is editor of the open-access journal Logical Methods in Computer Science, and co-founder and editor of the open-access proceedings series Electronic Proceedings in Theretical Computer Science.

He is co-founder and member of IFIP WG 1.8: Concurrency Theory, and member of the steering committee of the annual International Conference on Concurrency Theory (CONCUR).


He teaches a first-year bachelor course Logic and Sets , a third-year bachelor course Concurrency & Multithreading, and master courses Distributed Algorithms and Protocol Validation.

Ancillary activities

  • Technische Universiteit Eindhoven | Eindhoven | 0,2 fte hoogleraar (N.O.P.) | 2021-08-01 - 2026-07-31

Ancillary activities are updated daily


  • Q Science
  • protocol verification
  • concurrency theory
  • supervisor synthesis
  • distributed algorithms


Dive into the research topics where Wan Fokkink is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or