류석영 Sukyoung Ryu
Assistant Professor
Computer Science Department
Korea Advanced Institute of Science and Technology
|
Research Interests
PhD in Computer Science, September 1996 - August 2001
Assistant Professor, December 2009 - Present
- Fortress, a multicore programming language for scientists and engineers
- Proof assistants for programming languages and program analyses
- Scalable, accurate, and practical program analyses
- Programming environments for debugging and testing
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
Assistant Professor, December 2009 - Present
Department of Computer Science, 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
My calendar can be found here.
Room 4407
Department of Computer ScienceKorea Advanced Institute of Science and Technology
Guseong-dong, Yuseong-gu
Daejeon 305-701, Korea
Email: sryu [at] cs.kaist.ac.kr
Phone: +82-42-350-3538
Fax: +82-42-350-5578
