Education Research Current About VU Amsterdam NL
Login as
Prospective student Student Employee
Bachelor Master VU for Professionals
Exchange programme VU Amsterdam Summer School Honours programme VU-NT2 Semester in Amsterdam
PhD at VU Amsterdam Research highlights Prizes and distinctions
Research institutes Our scientists Research Impact Support Portal Creating impact
News Events calendar Biodiversity at VU Amsterdam
Israël and Palestinian regions Culture on campus
Practical matters Mission and core values Entrepreneurship on VU Campus
Governance Partnerships Alumni University Library Working at VU Amsterdam
Sorry! De informatie die je zoekt, is enkel beschikbaar in het Engels.
This programme is saved in My Study Choice.
Something went wrong with processing the request.
Something went wrong with processing the request.

prof. dr. Wan Fokkink

Full Professor, Faculty of Science, Theoretical Computer Science

Full Professor, Network Institute

Full Professor, Research Programmes - Science, Theoretical Computer Science - research programme

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.

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 (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).

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

Ancillary activities are updated daily

prof. dr. Wan Fokkink

Profile

Keywords

  • Q Science, protocol verification, concurrency theory, supervisor synthesis, dist...

Publications

Research and Publications VU

Visit the VU Research Portal

Research/publications Amsterdam UMC

Visit the AUMC Research Portal

Quick links

Homepage Culture on campus VU Sports Centre Dashboard

Study

Academic calendar Study guide Timetable Canvas

Featured

VUfonds VU Magazine Ad Valvas Digital accessibility

About VU

Contact us Working at VU Amsterdam Faculties Divisions Privacy Disclaimer Safety Web Colophon Cookie Settings Web Archive

Copyright © 2025 - Vrije Universiteit Amsterdam