류석영 Sukyoung Ryu

Assistant Professor
Computer Science Department
Korea Advanced Institute of Science and Technology

• 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

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

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

My calendar can be found here.

Room 4407
Department of Computer Science
Korea Advanced Institute of Science and Technology
Guseong-dong, Yuseong-gu
Daejeon 305-701, Korea

Email: sryu.cs [at] kaist.ac.kr
Phone: +82-42-350-3538
Fax: +82-42-350-7838