Name:Sukyoung Ryu

Bio:

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

Country:Korea, South

Affiliation:KAIST, South Korea