Professor

Head, School of Computing

Korea Advanced Institute of Science and Technology 

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

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

E3-5 Room 304

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