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 Ph.D. students in 2024] [Open RA positions for Northeastern students]
I am looking for talented students who are interested in systems and/or formal methods (see my research page). Also, within the Systems Research Group in the college which I'm, there are other collaborative research opportunities. 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.
[07/31/23] I will serve as a PC member for EuroSys 2024.
[01/20/23] I am teaching CS3650 Computer Systems this spring.
[06/05/22] I will serve as a PC member for USENIX OSDI 2023 and ACM SoCC 2022.
[05/21/22] I will teach CS7610 Foundations of Distributed Systems this fall.
[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 USENIX 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.