Ji-Yong Shin

Assistant Professor
Khoury College of Computer Sciences
Northeastern University

Email: j.shin@northeastern.edu
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.

I am looking for talented students who are interested in systems and formal methods. If you are interested in working with me, please contact me. Additional information about officially applying for the graduate program at Northeastern can be found here.

News

[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.