프로그래밍 언어 연구 그룹

류석영 교수 · 전산이론, 소프트웨어 디자인

프로그래밍 언어와 컴파일러, 프로그램 분석 기술을 연구한다. 안전한 타입 시스템과 컴파일러 검증, 자동 분석 및 디버깅·테스트 도구를 개발해 소프트웨어의 신뢰성을 높인다.

소개 출처 ↗ · 공식 홈페이지의 연구 내용을 요약했습니다.