Published multiple papers including ZStore, Moveri, LiDO-DAG, ReCraft, etc.; won the NSF CAREER Award; served as a PC member for several international conferences such as OSDI 2026, OOPSLA 2026, NSDI 2026, etc.
Research Experience
Worked as an Associate Research Scientist at Yale University; currently an Assistant Professor at Khoury College of Computer Sciences, Northeastern University, and jointly runs a systems research group with other faculty.
Education
Ph.D. - Cornell University
Background
Assistant Professor at Khoury College of Computer Sciences, Northeastern University. Interested in designing novel systems (operating systems, distributed systems, storage systems, etc.) and exploring formal verification methods that can be applied to system designs. Prior to joining Northeastern University, he was an Associate Research Scientist at Yale University and received his Ph.D. degree from Cornell University.
Miscellany
Looking for talented PhD students interested in systems and/or formal methods; will teach CS7670 Seminar in Computer Systems (advanced topics in distributed systems) this fall.