Wan Fokkink

Professor of Theoretical Computer Science

Research Interests: Protocol verification, model checking, safety-critical systems, distributed algorithms, supervisory control synthesis, executable models of biological systems, process algebra, structural operational semantics

Address: Vrije Universiteit Amsterdam
Faculty of Sciences
Department of Computer Science
Section Theoretical Computer Science
De Boelelaan 1111, 1081 HV Amsterdam, The Netherlands
Room: NU-12A59 in the NU building on the VU campus
Tel.: +31 20 598 7735
Email: w.j.fokkink "apenstaartje" vu.nl

One day per fortnight (on Thursdays) 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 (room: GEM-Z 0.118, tel: +31 40 2473061).