About
M.S. student in software engineering
I am 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. Currently, I’m working as an M.S. student at the KU-PLRG, where I contribute to the ESMeta project—an automated specification framework for JavaScript.
