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
Secretaries: Caroline Waij and Mojca Lovrencak, tel: 83563

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)