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)

I will give my inaugural speech in the aula of the Free University on 6 March 2007, at 15:45

• Publications
• book: Introduction to Process Algebra, Springer, 2000. Click here for a set of slides based on this book.
• Professional activities
• Course material
• PhD students
• Further links
• Personal stuff