Khoury College of Computer Sciences
Office: 342 West Village H, 440 Huntington Ave, Boston, MA 02115
(Mailing address: 202 West Village H, 360 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.
[11/02/21] I will serve as a PC member for USNIX OSDI 2022.
[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.
[05/22/20] Work on atomic distributed objects will be presented at REMS-DeepSpec Workshop.