Sofie Haesaert

Sofie Haesaert is an Assistant Professor in the Control Systems group at the Department of Electrical Engineering, Eindhoven University of Technology. Her work focuses on formal verification and control synthesis methods for cyber-physical systems, particularly through stochastic simulation relations and temporal logic specifications.

• Education: BSc (cum laude) and MSc (cum laude) in Mechanical Engineering and Systems & Control from Delft University of Technology; PhD from Eindhoven University of Technology (2017)
• Experience: Postdoctoral researcher at Caltech (2017-2018), then returned to TU/e as Assistant Professor

Her research interests include:

• Cyber-physical systems verification
• Stochastic control methods
• Temporal logic specification
• Markov decision processes
• Formal methods in control engineering
• Model abstractions and simulation relations

Recent publications show strong focus on:

• Stochastic temporal logic control
• Robust and risk-aware control
• Multi-agent system verification
• Formal synthesis via simulation relations
• AI integration in control systems
• Software tools for formal control

Scientific achievements:

• Veni Grant recipient (2020)
• Co-developer of the SySCoRe toolset for stochastic control synthesis
• Contributor to formal verification benchmarks through ARCH-COMP reports

She contributes to education through courses on:

• Control principles for engineered systems
• Control challenges in autonomous racing
• Supervisory control of cyber-physical systems

Haesaert collaborates across disciplines including computer science, applied mathematics, and robotics, with over 750 citations and significant contributions to formal control theory for stochastic systems. Her work bridges theoretical developments with practical applications in autonomous systems and complex control architectures.