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: miaosw0706@stu.xmu.edu.cn
miaosw0706@gmail.com
smiao585@connect.hkust-gz.edu.cn
Research Interests
- Discrete-Event Systems (DES): Property Verification, Supervisory Control
- Theoretical Computer Science (TCS): Complexity Theory
- Formal Methods: Temporal Logics
- Game Theory: Automata Game-Based Synthesis
- Reinforcement Learning
- Robotics
Hobbies
- Badminton, Basketball
- Fitness, Swimming, Middle-distance running
- Rap music, Pop music
- Tabletop games, Roco Kingdom
- Pokémon, Meitantei Konan