KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

프로그래밍 언어 연구 그룹

교수명
류석영
연구분야
전산이론, 소프트웨어 디자인
웹사이트
http://plrg.kaist.ac.kr/
이메일
전화번호
042-350-3538
사무실
E3-1  4407호
소개자료
[ link1 ]  
소개영상
[ link1 ]  [ link2 ]  

프로그래밍 언어 연구 그룹 소개

프로그래밍 언어 연구 그룹 (Programming Language Research Group, PLRG)은 프로그래머가 높은 수준의 소프트웨어를 제작할 수 있도록 다양한 프로그래밍 언어 기술을 개발하고 적용하는 연구에 초점을 맞추고 있다. 세부 연구 분야로는 프로그래밍 언어, 컴파일러, 프로그램 분석, 프로그래밍 환경 등이 있으며 특히 안전하고 믿을 수 있는 시스템을 구성하기 위하여 진보된 타입 시스템 개발, 컴파일러 검중, 확장 가능한 자동 프로그램 분석 도구 개발, 그리고 실제 프로그램 대상으로 사용할 수 있는 디버깅 및 테스팅 도구를 개발하는 것이 포함된다.

list