류석영   Sukyoung Ryu

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



Research Interests
  • 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 Science
Korea 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