I am Minseok Choe, a master’s student in Computer Science and Engineering at Korea University. My research interests include software engineering and static analysis for the JavaScript ecosystem, and mechanized specification for broader areas.
Educational Background
- 2025.09 ~ Present - M.S. of Computer Science and Engineering, Korea University
- 2021.03 ~ 2025.08 - B.S. of Computer Science and Engineering, Korea University