![Jieung Kim](https://pldi25.sigplan.org/getProfileImage/jieungkim/df820a5c-9604-4d9e-84d8-a77c2cd9179d/small.jpg?1722389397000)
Registered user since Mon 23 Apr 2018
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
Personal website: https://jieung.kim
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
Contributions
Using general profile