About Me
Hello! I am a second-year Ph.D. student in the Department of Computer Science at Cornell University. Currently, I am working with Prof. Hakim Weatherspoon.
My research focuses on computer systems including distributed systems and machine learning systems, particularly on improving their privacy, reliability, and efficiency.
Before joining Cornell University, I received my B.S.E in Computer Science at the University of Michigan with Summa Cum Laude, and B.Eng in Electrical and Computer Engineering at Shanghai Jiao Tong University with Honors. During my undergraduate studies, I collaborated with Prof. Ryan Huang and Prof. Manos Kapritsos on system researches.
Education
Interests
Awards & Scholarships
Cornell Outstanding Teaching Assistant Award
UMich Summa Cum Laude
SJTU Outstanding Graduate
UMich University Honor
UMich Dean's Honor List
SJTU Undergraduate Excellent Scholarship
Selected Research
Mitigating Application Resource Overload with Targeted Task Cancellation
Develop a preemptive scheduling library aiming to enhance system performance utilizing application-implemented cancel mechanisms.
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.
