You are here

Prof. dr. Wan Fokkink

Specialties: Distributed algorithms, safety-critical systems, executable models of biological systems, protocol verification, process algebra, model checking, structural operational semantics

Professor in Stochastics Design, Eindhoven University of Technology, Faculty of Mechanical Engineering, Systems Engineering Group. Head of the group Systems Engineering, which performs research in supervisory control synthesis.

Professor in Theoretical Computer Science, Vrije Universiteit Amsterdam, Faculty of Sciences, Department of Computer Science. Head of the group Theoretical Computer Science, which performs research on term rewriting systems and formal verification of distributed systems.

Works with