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.

Education

• Integrated M.S./Ph.D. in Computer Science and Engineering
  | Yonsei University, Seoul, South Korea
  | 2025.03 – Present

• B.S. in Computer Engineering
  | Inha University, Incheon, South Korea
  | 2018.03 – 2024.02

Research Interests

• Neural Network Verification: Developing scalable and efficient robustness certificates.

• Optimization for Formal Methods: Leveraging layer-wise pruning and proof transfer to accelerate verification.

• Trustworthy AI: Bridging theoretical guarantees with large-scale neural architectures.

Contact

• Email: justin.kim [at] yonsei.ac.kr

• Links: [GitHub] / [Google Scholar] / [LinkedIn]

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.

Website: Gijung Im

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/Ph.D. 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

• LLM-based Automated Proof Generation

• Formal Verification of System Software

Contact

• Links: [Email] / [Google Scholar] / [LinkedIn] 

• 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

• M.S. in Computer Science | 2026–Present Yonsei University, Seoul, South Korea

• B.S. in Mathematics and Computer Science | 2020–2025 Yonsei University, Seoul, South Korea

Research Interest
My main research interest is formal verification for system software via

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

Education

• Combined B.S./M.S. in Computer Science, Yonsei University, 2026—Present

• B.S. in Business Administration and Computer Science (Double Major), Yonsei University, 2021—Present

Research Interests

• Formal Verification of System Software

• Formal Verification of Distributed Systems

Contact

• Email : viscount6576@yonsei.ac.kr

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

I'm an intern who has graduated from KAIST. I'm interested in the intersection of AI and formal methods.