About me
- I was born in July 2000, Ningde, Fujian, China.
- I received a B.Eng. degree in Automation and a minor in AI, Fuzhou University (FZU), 2022.
- I received a M.Eng. degree from the Department of Automation at Xiamen University (XMU), with Prof. Aiwen Lai as my advisor.
- During my Master studies, I had the privilege of working with Dr. Jan Komenda, Prof. Sébastien Lahaye, Prof. Tomáš Masopust, Prof. Feng Lin, and Prof. Petr Jančar.
- I’m a PhD student at The Hong Kong University of Science and Technology, Guangzhou (HKUST-GZ), advised by Prof. Yiding Ji.
I’m currently working closely with Prof. Xiang Yin, and Prof. Wei Xiao.
- Email: smiao585@connect.hkust-gz.edu.cn
miaosw0706@stu.xmu.edu.cn
miaosw0706@gmail.com
Research
My research interests include formal verification, safety-critical control, and trustworthy machine learning, with applications to robotics and cyber-physical systems. My long-term goal is to develop a new autonomy paradigm that unifies intelligence with certifiability, laying the foundation for embodied AI systemsthat can safely and efficiently augment human cognitive and physical capabilities in everyday life.
Hobbies
- Badminton, Basketball
- Fitness, Swimming, Middle-distance running
- Rap music, Pop music
- Tabletop games, Roco Kingdom
- Pokémon, Meitantei Konan