Wan J. Fokkink

Wan J. Fokkink is a Full Professor ("Professor") at Eindhoven University of Technology (TU/e) in the Faculty of Mechanical Engineering, specifically the Control Systems Technology Group. He also holds a concurrent position as Professor of Theoretical Computer Science at Vrije Universiteit Amsterdam since 2004. His research bridges mechanical engineering and computer science, focusing on formal methods for software development in civil infrastructure and logistics.

• Education: MSc in Mathematics (1990, University of Amsterdam); PhD in Computer Science (1994, University of Amsterdam)
• Professional Affiliations: Embedded Systems Group (CWI, 2000-2004); Part-time Professor on Stochastic Design (TU/e, 2012-2016); Co-founder and former vice-chair, IFIP Working Group 1.8

His research interests include:

• Automated synthesis of safety-critical control software using formal methods
• Verification of communication protocols and distributed algorithms
• Application of process algebra and modal logic to real-world systems
• Model-based development of PLC code for civil engineering structures (bridges, dams, tunnels)
• Collaboration with semi-industry partners like Rijkswaterstaat and Vanderlande Industries

Recent research trends show interdisciplinary focus on:

• Supervisory control theory applied to logistics and civil infrastructure
• Abstraction techniques in cyber-physical systems
• Optimization and fault-tolerance in automated control

He actively contributes to UN Sustainable Development Goals through applications in smart infrastructure.