About Me
I am a third-year Ph.D. student in Computer Science at Cornell University, advised by Prof. Hakim Weatherspoon. My research focuses on distributed systems and machine learning systems, particularly on improving their security, efficiency, and reliability.
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. I collaborated with Prof. Ryan Huang and Prof. Manos Kapritsos on system researches.
Education
Internship
Awards & Scholarships
USENIX OSDI Student Travel Grant
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.
