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.
[09/13/21] Paper on atomic distributed object (ADO) will be presented at OOPSLA 2021.
[09/07/21] I will be teaching CS7610 Foundations of Distributed Systems this fall.
[01/05/21] I will be teaching CS5600 Computer Systems this spring.
[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.