Khoury College of Computer Sciences
Office: 360 West Village H, 440 Huntington Ave, Boston, MA 02115
I am an Assistant Professor in the Khoury College of Computer Sciences at Northeastern 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 Northeastern University, I was an Associate Research Scientist at Yale University and received my Ph.D. degree from Cornell University.
[08/24/20] Joined Khoury College of Computer Sciences at Northeastern University.
[06/25/20] I will be teaching CS6650 building scalable distributed systems this fall.
[06/19/20] Received NSF FMitF grant with Zhong Shao and Robert Soule.
[05/22/20] Work on atomic distributed objects will be presented at REMS-DeepSpec Workshop.