Associate Research Scientist
Department of Computer Science
P.O. Box 208285
New Haven, CT 06520-8285
I'll be joining Northeastern University as an Assistant Professor in fall 2020.
I am an Associate Research Scientist in the Department of Computer Science at Yale University. I am 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 Yale, I received my Ph.D. degree from Cornell University where I worked on cloud storage systems and data center networks.