|
Professor of Theoretical Computer Science
Research Interests: Protocol verification, supervisory control synthesis, distributed algorithms, concurrency theory
Address: Vrije Universiteit Amsterdam
Faculty of Science
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
email: w.j.fokkink "apenstaartje" vu.nl
|