Ji-Yong Shin

Associate Research Scientist

Department of Computer Science

Yale University

P.O. Box 208285

New Haven, CT 06520-8285


I'll be joining Northeastern University as an Assistant Professor in fall 2020.

I am an Associate Research Scientist in the Department of Computer Science at Yale 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 Yale, I received my Ph.D. degree from Cornell University where I worked on cloud storage systems and data center networks.


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