Currently, I am a member of the Programming Language Research Group (PLRG) at Korea University, advised by Jihyeok Park.
My research interests are program synthesis and program analysis based on programming language theory. In particular:
- Program Synthesis: Reducing the burden of software development by automatically generating programs
- Program Analysis: Automatically detecting software bugs and vulnerabilities using both static and dynamic methods
Outside of research, I’m deeply interested in smart contract security, WebAssembly, and exploring various tools in the JavaScript ecosystem. I spend my free time tackling CTF challenges and analyzing open-source projects for fun.
Beyond programming, I enjoy coffee, whiskey, and movies—a mix of interests that keeps life balanced.