Introduction
I am a senior undergraduate student in the Department of Computer Science and Engineering at Seoul National University.
Research Interest
- Programming Languages
- Static Analysis
Education
-
Seoul National University, South Korea
(Mar 2020 – Feb 2026 (Expected))
BS in Computer Science and Engineering
-
University of California, Los Angeles (UCLA), USA
(Sept 2022 – Apr 2023)
Exchange Student
-
Hana Academy Seoul
(Mar 2017 – Feb 2020)
High School Diploma
Experience
-
Research Intern, ROPAS (Programming Research Laboratory)
(July 2024 – Current)
Seoul, South Korea
-
Visiting Student, University of Washington (PLSE Group)
(Summer 2025)
Seattle, USA
Thesis
-
Design of an Under-Approximate Static Analyzer
Bachelor’s Thesis, Seoul National University (Feb 2026). Advisor: Prof. Kwangkeun Yi.
Developed a semantic-function–based framework for under-approximate static analysis and proved completeness and early-termination safety.
Thesis (PDF, in Korean)
Projects
-
Gravitable Escape (3D Game)
Developed a 3D puzzle platformer game using Unity as a project of the Principles and Practice of Software Development course.
Tools Used: Unity, C#, Blender
Project Link
Links
Contact Information
| Email: |
kwonlauren@snu.ac.kr mjkwon@ropas.snu.ac.kr |