Welcome to Jieung Kim's Page
I am Jieung Kim, an assistant professor in the Department of Computer Engineering, College of Software and Convergence at Inha University, South Korea. I am interested in designing secure-guaranteed systems using multiple formal techniques.
Even before that, I worked as a postdoctoral researcher at FLINT group in Yale with Professor Zhong Shao, and also achieved my Ph.D. degree from the same university (Yale) at 2019. I received my Master's degree at KAIST with the advise from Professor Sukyoung Ryu, and received my Bachelor's degree from Sungkyunkwan University.