I am an Associate Professor in the School of Computing at the Korea Advanced Institute of Science and Technology, Korea.

Research Interests: Scalable analysis framework for JavaScript, analysis and performance enhancement of medical image processing, programming environments for debugging and testing, proof assistants for programming languages and program analyses