Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Wan Fokkink
[go: Go Back, main page]

Wan Fokkink

Research Interests: embedded systems, safety critical systems, distributed algorithms, security, protocol verification, process algebra, model checking, structural operational semantics, term rewriting

Address: Vrije Universiteit Amsterdam
Department of Computer Science
Section Theoretical Computer Science
De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
Room: U342
Tel.: +31 20 598 7735
Fax: +31 20 598 7653
Email: wanf "apestaartje" cs.vu.nl
Secretary: Elly Lammers, tel: 7718, fax: 7728, email: elly
One day a week (usually on Wednesdays) I work in the Embedded Systems Group at CWI (room: M341, tel: +31 20 592 4104)