SPLASH 2024 (series) / Jieung Kim
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
SPLASH 2024-profile
View general profile
View general profile