Wan Fokkink

Professor of Theoretical Computer Science

Research Interests: Protocol verification, model checking, safety-critical systems, distributed algorithms, wireless systems, 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 1081, 1081 HV Amsterdam, The Netherlands
Room: T429
Tel.: +31 20 598 7735
Email: w.j.fokkink "apenstaartje" vu.nl
Secretary: Caroline Waij, tel: 83563


One day per fortnight (usually 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.115, tel: +31 40 2473234)