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