Sukyoung Ryu

Sukyoung Ryu is a faculty member in the School of Computing at KAIST. Their research focuses on programming languages, compilers, program analyses, and programming environments. The Programming Language Research Group at KAIST, led by Ryu, aims to apply programming language technology to help programmers develop high-quality software. Their work includes advanced type systems, certifying compilers, automated and scalable program analyses, and practical debugging and testing tools. The group is based at KAIST's School of Computing, located in Daejeon, Republic of Korea.

Sukyoung Ryu is a professor at the School of Computing, KAIST, specializing in Programming Languages, Compilers, Program Analysis, and Programming Environments. Their research focuses on developing formal methods for language specification, scalable static analysis frameworks, and tools for analyzing complex software systems. Ryu's work includes the Fortress language specification, SAFE for ECMAScript, HybriDroid for Android applications, and SAFEWAPI for web APIs. They also explore type systems, static analysis of JavaScript, and multilingual program analysis. Key contributions involve improving precision and scalability in static analysis, reducing false positives, and bridging theoretical and practical gaps in software security. Their research addresses challenges in analyzing large-scale applications and blockchain smart contracts.