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

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 7 - Affordable and Clean Energy
  • SDG 16 - Peace, Justice and Strong Institutions


  • 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

Collaborations and top research areas from the last five years

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