프로그래밍 언어 연구실 (Programming Language Research Group)

박지혁 교수

프로그래밍 언어 기술로 소프트웨어 개발을 지원하는 방법을 연구합니다. 프로그램 분석을 통한 버그·취약점 검출, 명세의 기계화, 프로그램 합성과 자동화된 테스트를 다룹니다.

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