KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

Programming Language Research Group

Faculty Name
Sukyoung Ryu
Research Area
Computing Theory, Software Design
Website
http://plrg.kaist.ac.kr/
E-mail
Phone
042-350-3538
Office
#4407, E3-1
Introduction
[ link1 ]  
Video
[ link1 ]  [ link2 ]  

Introduction to the Programming Language Research Group

Programming Language Research Group at KAIST focuses on applying programming language technology to help programmers develop high-quality software. Our research interests include programming languages, compilers, program analyses, and programming environments. We are especially interested in applying advanced type systems, certifying compilers, automated and scalable program analyses, and practical debugging and testing tools to build safe and reliable systems.

list