I am postdoctoral scholar in the Computing and Mathematical Sciences Department at Caltech. My research interest are in the verifiable design of cyber-physical systems.


I am interested in Formal verification, Correct-by-design control, Experiment design, Identification for control.


I am currently working as a postdoc under the supervision of Richard Murray at Caltech.
I started my studies at the University of Technology Delft and obtained a Bachelor in Mechanical engineering (2007-2010). As an integral part of my Bachelor education and as a part of her extracurricular Honours programme, I organized and joined a project supported by the NURC (NATO Undersea Research Center). From 2010-2012 I did my Masters in Systems and Control at the University of Technology Delft. As a master student I spent a summer doing research at the research group of Professor Frank Lewis at the University of Texas Arlington where I focused on research in reinforcement learning on discrete time graphical games. For my Master thesis I worked on the verification and control of Markov processes with a learning approach and certified performance. I did my Ph.D. under the supervision of Prof.dr.ir. Paul van den Hof (TU/e) and dr.ir. Alessandro Abate (Oxford University) on the topic of data-driven and model-based verification and control of physical systems.

Selected Publications

  • S.Haesaert, S.Esmaeil Zadeh Soudjani, A.Abate, Temporal logic control of general Markov decision processes by approximate policy refinement. arXiv preprint arXiv:1712.07622 (2017).

  • S.Haesaert, S.Esmaeil Zadeh Soudjani , A.Abate. Verification of general Markov decision processes by approximate similarity relations and policy refinement. SIAM Journal on Control and Optimization 55:4, 2333-2367, 2017 link.

  • F.Chen, S.Haesaert, A.Abate, S.Weiland, Control refinement for discrete-time descriptor systems: A behavioural approach via simulation relations. IFAC 2017 world congress, Toulouse, France