Members

Jieung Kim is a tenure-track assistant professor in Department of Computer Science and Engineering, College of Computing, Yonsei University

Jieung Kim worked at Google (Research - Personal AI Privacy & Security - and Core ML - Model Optimization - teams) and Inha University (Assistant professor in Computer Engineering, College of Software & Convergence) before joining Yonsei University.  Before that, he received his degrees from Yale University (Ph.D), KAIST (M.S), and Sungkyunkwan University (B.S.). 

For more details, please visit the personal webpage.

I'm a master's/Ph.D. student  in Artificial Intelligence at Yonsei University. I am working on verifying the robustness of neural networks against semantic perturbations.

I'm a master's/Ph.D. student in Computer Science and Engineering at Yonsei University. My research focuses on developing efficient robustness verification tools for neural networks.

I'm a master's/Ph.D. student majoring in Computer Science and Engineering at Yonsei University. I am currently interested in the formal verification of distributed systems. My research focuses on constructing formal semantics for programming languages, developing formal verification tools, and applying these tools to verify real-world systems. I use Rocq as a proof-assistant, Haskell as a general programming language, and λProlog as a hobby. GitHub 

I'm a master's/Ph.D. student in Computer Science and Engineering at Yonsei University.  I am interested in system software and quantum computing formal verification.

I'm a master's student in Computer Science and Engineering at Yonsei University. My research focuses on developing efficient robustness verification tools for neural networks.

I'm an undergraduate student intern, who is studying at Brown University. 

I'm an undergraduate student intern, who is studying at Yonsei University. 

I'm an undergraduate student intern, who is studying at Kookmin University.