Yulong Gao

I received my Bachelor's degree of Automation and Master's degree of Control Science and Engineering in Beijing Institute of Technology in 2013 and 2016. I earned my PhD degree in EE from the joint NTU-KTH programme under the supervision of Prof. Karl Henrik Johansson and Prof. Lihua Xie, in 2021. My research interests focus on modeling, analysis, and control of safety-critical systems, including but not limited to model predictive control, formal verification and control, reachability and invariance, and human-in-the-loop systems.