Programming Languages Research Group

Jaemin Hong 교수

프로그래밍 언어 이론을 바탕으로 프로그램의 동작과 구현의 정확성을 연구한다. 명세에 따른 동작을 확인하기 위한 정형 검증, 정적 분석과 프로그램 변환 기술을 개발한다.

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