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.

Research

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.

Teaching

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

Keywords

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

Fingerprint

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

Network

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.