Wan Fokkink

Wan Fokkink

Full Professor

VU Theoretical Computer Science

I head the Theoretical Computer Science group at the Vrije Universiteit Amsterdam. One day per week I’m at Eindhoven University of Technology, as Professor of Model-Based System Engineering in the Control Systems Technology Group in the Faculty of Mechanical Engineering.

My research focus is on the formal design and analysis of distributed systems, broadly construed. I am the author of three textbooks, on process algebra, formal verification of distributed systems, and distributed algorithms.

  • concurrency theory
  • protocol verification
  • supervisory control
  • distributed algorithms