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.

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.