About Me
Hello! I am a first-year Ph.D. student in the Department of Computer Science at Cornell University, where I have the privilege of working with Prof. Hakim Weatherspoon.
My primary research interests lie in computer systems, including operating systems and distributed systems. I am passionate about designing techniques that enhance the reliability and efficiency of systems.
Prior to joining Cornell University, I pursued dual major in Computer Science at the University of Michigan and Electrical and Computer Engineering at Shanghai Jiao Tong University. During my undergraduate studies, I During my undergraduate studies, I had the opportunity to collaborate with Prof. Ryan Huang and Prof. Manos Kapritsos on system researches.
Education
Interests
Awards & Scholarships
UMich Summa Cum Laude
SJTU Outstanding Graduate
UMich University Honor
UMich Dean's Honor List
SJTU Undergraduate Excellent Scholarship
Selected Research
Developing Techniques to Test Correctness of Formal Specifications
Explore techniques for testing the correctness of formal specifications, a crucial aspect given that the reliability of formal verification projects relies on accurate specifications, an area lacking awareness and techniques.