Registered user since Wed 1 Jul 2015

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

Personal website: http://plrg.kaist.ac.kr/ryu

Contributions