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

Personal profile

Personal information

He studied mathematics and received a PhD in computer science in 1994 from the University of 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, Modelling Distributed Systems, and Distributed Algorithms: An Intuitive Approach.


He teaches a first-year bachelor course Logic and Sets (together with Wouter Kager), a third-year bachelor course Concurrency & Multithreading, and a master course Distributed Algorithms.

Ancillary activities

No ancillary activities

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.
  • 6 Similar Profiles


Recent external collaboration on country level. Dive into details by clicking on the dots or
If you made any changes in Pure these will be visible here soon.