About Me
I am a Senior Researcher at Microsoft Research Asia in Beijing. My research focuses on formal verification and system correctness, with an emphasis on concurrent and distributed systems. I am also exploring AI‑assisted techniques to enhance verification scalability and practicality. I received my Ph.D. in Computer Science from Nanjing University, advised by Prof. Yu Huang.
Education
| Sept. 2019 - Sept. 2025 | Ph.D. in School of Computer Science, Nanjing University |
| Sept. 2015 - June 2019 | B.Sc. in School of Computer Science, Nanjing University |
Work Experience
| Oct. 2025 - Present | Senior Researcher at Microsoft Research Asia, Beijing |
| Aug. 2024 - Jan. 2025 | Research Intern at Ant Research, Beijing |
Publications
Miscellaneous
I like debugging and troubleshooting all sorts of things!