프로그래밍 연구실

이광근 교수

프로그래밍 언어 이론과 프로그램 분석으로 소프트웨어를 검증하고 개발하는 도구를 연구한다. 타입 시스템과 프로그램 논리를 바탕으로 정적 오류 검출 및 생산성 개선 기술을 개발한다.

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