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.
Before I joined Inha University, I was a research (software) engineer - privacy & security at Cerebra (Personal AI), Google Research and Machine Learning Model Optimization Team, Core ML, Google.
.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.
For more details about me, please see the experience page. Please also look at our lab page (SSV lab. at Inha Univ.)