Georgia Institute of Technology Aug. 2019 - presentAtlanta, Georgia (United States)

Pohang University of Science and Technology (POSTECH) Mar. 2015 - Feb. 2019Pohang (South Korea)

Research Interests

Scalable vulnerability detection

This topic is at the intersection of program analysis and software security, two fields that I have both enjoyed and excelled in. Manual security auditing can find complicated new bugs, but they are hardly scalable in terms of time and human resource. I'm extremely interested in automating such approach, so that we can prevent not only a bug in a specific product, but also all bugs of the same class in all future products. To this end, I would like to work on topics such as coverage-guided fuzzing, symbolic execution, hybrid fuzzing, and static analysis.

Abstraction Recovery

There is a huge abstraction gap between programming languages and machine code. Typically, machine code does not contain any type information, struct definition, or inheritance hierarchy. Furthermore, compilers might introduce additional disparity while optimizing the source code. Lost abstractions make understanding the core logic of the program harder, and reconstructing them can help both human and machine analyzer. I believe this is a challenging, interesting, and important research domain.


National Cancer Center, Research Assistant Apr. 2019 - Jun. 2019Goyang (South Korea)

Developed medical image segmentation for breast cancer biopsy robot control

Oracle Labs Parallel Graph AnalytiX (PGX), Research Assistant Feb. 2018 - Jun. 2018Belmont, California (United States)

Developed IR based common execution backend for different query languages and runtimes supported by PGX

POSTECH Database & Data Mining Lab, Undergraduate Intern 2016 Winter - 2017 SpringPohang (South Korea)

Developed adaptive indexing method to improve performance of graph database

Honors and Awards