Wan Fokkink

Research Interests: embedded systems, safety critical systems, distributed algorithms, security, protocol verification, process algebra, model checking, structural operational semantics 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 "apenstaartje" 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)

New! There is a PhD position available on Formal Verification of Epidemic Protocols and Distributed Verification Methods

• Publications
• Professional activities
• Course material
• PhD students
• Further links
• Personal stuff