Education Research Current About VU Amsterdam NL
Bachelor's programmes Master's programmes VU for Professionals
Exchange programme VU Amsterdam Summer School Honours Programme Dutch language courses (NT2) Semester in Amsterdam
PhD at VU Amsterdam Featured research Prizes and distinctions
Interdisciplinary research institutes Scientists of VU Amsterdam Research Impact Support Portal Create impact with your research
News Events calendar Moving towards a healthier future
VU UPDATE: Situation in Israel and the Palestinian regions Culture at VU Amsterdam
Practical matters Mission, core values and vision Entrepreneurship on VU Campus
Governance of VU Amsterdam Valorisation and impact Partnering with VU Amsterdam VU Alumni Community Take a look at our vacancies!
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. WJ 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

No ancillary activities

Ancillary activities are updated daily

Profile

Keywords

Publications

Research and Publications VU
Visit the VU Research Portal
Research/publications Amsterdam UMC
Visit the AUMC Research Portal

Quick links

Homepage VU Amsterdam Culture at VU Amsterdam University Library Dashboard

Study

Academic calendar Study Guide Timetable Canvas

Featured

Donate to the VU Fund VU Magazine Ad Valvas Digital accessibility

About VU Amsterdam

Contact with VU Amsterdam Take a look at our vacancies! Faculties VU Amsterdam Divisions VU Amsterdam Privacy Disclaimer Safety Web Colophon Cookie settings Web Archive

Copyright © VU