Ji-Yong Shin
Ji-Yong Shin
Ji-Yong Shin
Ji-Yong Shin
Research Interests
- Distributed systems
- Formal verification
- Cloud storage systems
- Operating systems
To learn more about Prof. Shin’s research, please go to his research web page.
Education
- PhD in Computer Science, Cornell University
- MS in Computer Science, KAIST
- BS in Computer Science and Industrial Engineering, Yonsei University
Biography
Ji-Yong Shin is an assistant professor of computer science at Northeastern University’s Khoury College. Prior to joining Northeastern in 2020, he was an associate research scientist in the Department of Computer Science at Yale University. A research interest of his is formal verification methods that can be applied to system designs. Other areas of interest include designing novel systems such as distributed systems, cloud storage systems, and operating systems.
In 2019, he 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 significantly improve the reliability and security of large scale software infrastructures, such as the cloud, and applications that run on top of the infrastructure, and also new courses on distributed-system design and verification that will broaden the participation of underrepresented groups.
Research Interests
- Distributed systems
- Formal verification
- Cloud storage systems
- Operating systems
To learn more about Prof. Shin’s research, please go to his research web page.
Education
- PhD in Computer Science, Cornell University
- MS in Computer Science, KAIST
- BS in Computer Science and Industrial Engineering, Yonsei University
Biography
Ji-Yong Shin is an assistant professor of computer science at Northeastern University’s Khoury College. Prior to joining Northeastern in 2020, he was an associate research scientist in the Department of Computer Science at Yale University. A research interest of his is formal verification methods that can be applied to system designs. Other areas of interest include designing novel systems such as distributed systems, cloud storage systems, and operating systems.
In 2019, he 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 significantly improve the reliability and security of large scale software infrastructures, such as the cloud, and applications that run on top of the infrastructure, and also new courses on distributed-system design and verification that will broaden the participation of underrepresented groups.
Projects
Projects
Recent Publications
Recent Publications
© 2024 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
© 2024 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...