Links: Google Scholar, ResearchGate, Github, LinkedIn, ORCID
Email: bohan_cui@sjtu.edu.cn
Links: Google Scholar, ResearchGate, Github, LinkedIn, ORCID
Email: bohan_cui@sjtu.edu.cn
I'm currently a postdoctoral researcher at Nanyang Technological University, working with Prof. Wei Xiao.
I received my Ph.D. degree in Control Science and Engineering at Shanghai Jiao Tong University (SJTU) in 2026, supervised by Prof. Xiang Yin. I also received a Ph.D. degree in Electronic and Computer Engineering at the University of Cagliari (UNICA) in 2026, supervised by Prof. Alessandro Giua.
I was a visiting Ph.D. student at the Department of Computer Science, University of Oxford, where I worked with Prof. Marta Kwiatkowska and Prof. Alessandro Abate.
Previously, I received my B.Eng. degree in Automation at Harbin Institute of Technology (HIT), 2021.
I was born in 1999, Shandong Province, China. I grew up in Tai'an.
My Research Interests:
I am broadly interested in system control, formal methods, and trustworthy AI. My current research includes the following aspects:
Motion planning and decision-making in dynamic environments
Automated verification and reactive synthesis of cyber-physical systems
Supervisory control of discrete-event systems
Safety & security-critical AI