Wan Fokkink

Wan Fokkink is a part-time Full Professor of Model Based System Engineering at the Eindhoven University of Technology (TU/e), affiliated with the Control Systems Technology Group in the Faculty of Mechanical Engineering. His research bridges theoretical computer science and mechanical engineering, focusing on formal methods for distributed systems and safety-critical software.

• Education: MSc in Mathematics (University of Amsterdam), PhD in Computer Science (University of Amsterdam)
• Affiliations: Vrije Universiteit Amsterdam (Full Professor of Theoretical Computer Science since 2004), TU/e (since 2012)

Research Interests include applying formal modeling techniques to synthesize PLC code for civil engineering structures, protocol verification, and multi-valued abstraction methods. His work often involves collaboration with industry partners and national research institutes.

Key Contributions are in model-based design frameworks that automate software transformation from requirements, with applications in baggage handling systems, network protocols, and distributed control algorithms. He co-founded IFIP Working Group 1.8 and chaired the national research school IPA board.