Name:Jieung Kim

Bio:

Assistant professor, CS. Yonsei University (2024.09 ~ )
Assistant professor, CSE. Inha University (2022.09 ~ 2024.08)
Research engineer – privacy & security, Google Research & Google (2020.05 ~ 2022.08)
Ph.D & Postdoc fellow, Yale University (2019, 2019.06 ~ 2020.04)
Master & Research assistant, KAIST (2011, 2011.09 ~ 2012.06)

Country:South Korea

Affiliation:Yonsei University

Research interests:software formal verification, formal methods, system software, concurrency, distributed systems, operating systems, proof automation, program logic, neural network compression, neural network verification, programming language theory