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