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 supervisor.
• 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), supervised by Prof. Yiding Ji.

• Email: smiao585@connect.hkust-gz.edu.cn
              miaosw0706@stu.xmu.edu.cn
              miaosw0706@gmail.com

Research Interests

• Verification and synthesis in discrete-event systems using complexity and game theory
• Combining formal methods and machine learning for task and motion planning in robotics

Hobbies

• Badminton, Basketball
• Fitness, Swimming, Middle-distance running
• Rap music, Pop music
• Tabletop games, Roco Kingdom
• Pokémon, Meitantei Konan