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.