Jieung Kim

I am Jieung Kim, an assistant professor in the Department of Computer Science, College of Computing at Yonsei University, South Korea. I am interested in designing secure-guaranteed systems using multiple formal techniques.

Before I joined Yonsei University, I was an assistant professor in the Department of Computer Engineering, College of Software and Convergence at Inha University, South Korea.

Before that, 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.