Ji-Yong Shin

Assistant Professor
Khoury College of Computer Sciences
Northeastern University

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

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. Information about officially applying for the graduate program at Northeastern can be found here.

News

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

Older News

[05/22/20] Work on atomic distributed objects will be presented at REMS-DeepSpec Workshop.