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.
[Recruiting multiple Ph.D. students in 2022] [Open RA positions for NEU master's and undergraduate students]
I am looking for talented students who are interested in systems and/or formal methods (see my research page). If you are interested in working with me, please contact me via email. Information about officially applying for the graduate program at Northeastern can be found here.
[04/04/22] ADORE (Atomic Distributed Objects with Certified Reconfiguration) will be presented at PLDI 2022.
[12/06/21] I will teach CS 7680 Special Topics in Computer Systems in the coming spring (click for detailed information).
[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.