Ji-Yong Shin

Assistant Professor

  • Distributed systems
  • Formal verification
  • Cloud storage systems
  • Operating systems
  • PhD in Computer Science, Cornell University
  • MS in Computer Science, Korea Advanced Institute of Science and Technology — South Korea
  • BS in Computer Science and Industrial Engineering, Yonsei University — South Korea

Ji-Yong Shin is an assistant professor in the Khoury College of Computer Sciences, based in Boston.

Shin researches formal verification methods that can be applied to system designs; he also designs novel systems such as distributed systems, cloud storage systems, and operating systems. Prior to joining Northeastern in 2020, he was an associate research scientist in the Department of Computer Science at Yale University.

In 2019, Shin received the NSF FMitF grant for a research project titled Track I: ADVERT: Compositional Atomic Specifications for Distributed System Verification. The project’s impacts include new tools to improve the reliability and security of large software infrastructures and the applications that run on them, as well as new courses on distributed-system design and verification that will broaden the participation of underrepresented groups.

  • WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems

    Citation: "WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems,” Ji-Yong Shin, Jieung Kim, Wolf Honoré, Hernán Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, and Zhong Shao, In Proceedings of the ACM Symposium on Cloud Computing (SoCC), Santa Cruz, CA, U.S.A., Nov 2019.

  • Towards Weakly Consistent Local Storage Systems

    Citation: "Towards Weakly Consistent Local Storage Systems," Ji-Yong Shin, Mahesh Balakrishnan, Tudor Marian, Jakub Szefer and Hakim Weatherspoon, In Proceedings of the ACM Symposium on Cloud Computing (SoCC), Santa Clara, CA, U.S.A., Oct 2016.

  • Isotope: Transactional Isolation for Block Storage

    Citation: "Isotope: Transactional Isolation for Block Storage," Ji-Yong Shin, Mahesh Balakrishnan, Tudor Marian, and Hakim Weatherspoon, In Proceedings of the USENIX Conference on File and Storage Technologies (FAST), Santa Clara, CA, U.S.A., Feb 2016.

Current PhD Students