Wan Fokkink

Research Interests: Protocol verification, process algebra, model checking, distributed algorithms, safety-critical systems, wireless systems, network protocols, executable models of biological systems, structural operational semantics

Address: Vrije Universiteit Amsterdam
Department of Computer Science
Section Theoretical Computer Science
De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
Room: T443
Tel.: +31 20 598 7735
Fax: +31 20 598 7653
Email: w.j.fokkink "apenstaartje" vu.nl
Secretary: Caroline Waij, tel: 83563

One day a week (usually on Thursdays) I visit the Formal Methods Group at Eindhoven University of Technology (room: HG 6.82a, tel: +31 40 2475149)