About Me
I'm a final (6th) year CS Ph.D. student at Nanjing University. My advisor is Professor Yu Huang. My research focus is verifying the correctness of concurrent and distributed systems using model checking.
Education
| Sept. 2019 - Present | Ph.D. student in School of Computer Science, Nanjing University |
| Sept. 2015 - June 2019 | B.Sc. in School of Computer Science, Nanjing University |
Work Experience
| Aug. 2024 - Jan. 2025 | Research internship in Ant Research, Beijing |
Publications
Miscellaneous
I like debugging and troubleshooting all sorts of things!