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

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