Onderwijs

Onderzoek

Actueel

Over de VU

Bacheloropleidingen

Masteropleidingen

VU for Professionals

HOVO Amsterdam

Taalcursussen Nederlands als tweede taal (NT2)

Zomercursus van de VU Amsterdam

Honoursprogramma

Universitaire lerarenopleidingen

Promoveren aan de VU

Uitgelicht onderzoek

Prijzen en onderscheidingen

Interdisciplinaire onderzoeksinstituten

Wetenschappers van de VU

Research Impact Support Portal

Creëer impact met jouw onderzoek

Nieuws

Agenda

Bewegen naar een vitale toekomst

VU UPDATE: Situatie in Israël en de Palestijnse gebieden

Cultuur op de VU

Praktische informatie

De VU en Innovatiedistrict Zuidas

Missie, kernwaarden en visie

Besturing van de VU

Valorisatie en impact

Samenwerken met de VU

VU Alumni Community

Bekijk onze vacatures!

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

Teaching

He teaches a first-year bachelor course Logic and Sets , a third-year bachelor course Concurrency & Multithreading, and master courses Distributed Algorithms and Protocol Validation.

Ancillary activities

No ancillary activities

Ancillary activities are updated daily