프로그래밍 언어 연구실에서는 프로그래밍 언어와 소프트웨어 공학에 관심 있는 학생들을 모집하고 있습니다.

본 연구실의 목표는 소프트웨어를 더 신뢰 가능하고 안전하게 만드는 기술을 개발하는 것입니다. 이를 위해 프로그래밍 언어 이론에 기반하여 실제 소프트웨어 문제를 해결하는 연구를 진행합니다. 대표적으로, 정적 분석을 통해 오래된 소프트웨어를 최신 프로그래밍 언어로 전환하고, LLM이 생성한 코드의 올바름을 자동으로 검증하는 연구를 수행합니다.

jaemin.hong@unist.ac.kr로 CV와 연구 관심사에 대한 간략한 설명을 보내 주세요.