I am an Assistant Professor in the Department of Computer Science at the Korea Advanced Institute of Science and Technology, Korea.

Research Interests: - SAFE, Scalable analysis framework for JavaScript - Analysis and performance enhancement of medical image processing - Scalable, accurate, and practical program analyses - Programming environments for debugging and testing - Proof assistants for programming languages and program analyses