Korea University, Ph.D. Student in Computer Science
Mar. 2024 - Ongoing
Research Interests: Prgramming Language, Software Engineering
Developing advanced program analysis techniques to detect bugs and guarantee software reliability
Korea University, M.S. in Computer Science
Mar. 2022 - Feb. 2024
Korea University, B.S. in Computer Science
Mar. 2016 - Aug. 2021
GPA: 4.41/4.5
Artifact Evaluation Committee (AEC) Members
Patents
2026
2024
2022
2024
31 Oct. ASE 2024
2023
09 Feb. KCSE 2023 Invite Talk
2022
16 Nov. FSE 2022