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.)

I am actively looking for students (undergraduate and graduate) who are interested in formal verification (operating systems, distributed systems, and block chain), programming language related researches, system software securities, and machine learning model optimization techniques.

정형 검증 (운영체제, 분산 시스템, 블록체인), 프로그래밍 언어 관련 연구 시스템 소프트웨어 보안, 머신러닝 최적화 등에 관심이 있는 학부생 대학원생 분들은 연락 주세요.

Address HiTech Center 1411 (하-1411), Inha University 100, Inha-ro, Michuhol-gu, Incheon, Republic of Korea (Zip: 22212)
Phone Number +82 (32) 860-7448
Email jieungkim _ inha * ac * kr (where _ is @, * is .)
My availability