Sukyoung Ryu
(류석영)
Professor
Head, School of Computing
Korea Advanced Institute of Science and Technology
Research Interests
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
Education
PhD in Computer Science, September 1996 - August 2001
Computer Science Department, KAIST
MS in Computer Science, March 1995 - August 1996
Computer Science Department, KAIST
BS in Computer Science, March 1991 - February 1995
Computer Science Department, KAIST
Experience
Professor, Present
School of Computing, KAIST
Member of Technical Staff, February 2005 - November 2009
Sun Microsystems Laboratories, Burlington, MA
Research Associate, October 2001 - January 2005
Division of Engineering and Applied Sciences, Harvard University
Contact
Room 4407
School of Computing
Korea Advanced Institute of Science and Technology
291 Daehak-ro, Yuseong-gu
Daejeon 34141, Korea
Email: sryu.cs [at] kaist.ac.kr
Phone: +82-42-350-3538