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

• Education

Ph.D. in Computer Science | 2026–Present Yonsei University, Seoul, South Korea

M.S. in Computer Science | 2019–2021 Seoul National University, Seoul, South Korea

B.S. in Mathematics and Computer Science | 2015–2019 Sogang University, Seoul, South Korea

• Research Interest
  I'm interested in LLM-based automated proof generation.

• Contact
  Email: yunyoung96@yonsei.ac.kr

• Educations

- Integrated M.S./Ph.D. student in Computer Science

| Yonsei University in Seoul, South Korea

| 2026-03 – 

- Bachelor's with a double major in Computer Science and Mathematics

| Sookmyung Women's University in Seoul, South Korea

| 2018-03 – 2024-02

• Research Interests

- Data Integrity

- Neural Network Verification

- Theoretical Machine Learning

• Contacts

- Email: ggsmainstay0297 at gmail dot com / yonsei dot ac dot kr

- Website:

• Education

 Yonsei University, Seoul, South Korea

M.S. in Computer Science, 2026–

B.S. in Mathematics and Computer Science, 2020–2025

• Research Interest
  I'm both interested in logic-driven reasoning systems and LLM-based automated proof generation.

• Contact
  Email : lordahn@yonsei.ac.kr

I'm a master's student in Computer Science and Engineering  at Yonsei University. My research interests focus on reliability in distributed systems software. 

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

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