프로그래밍 언어 및 소프트웨어 공학 연구실에서는 소프트웨어의 신뢰성, 안전성, 효율성을 자동으로 증대시키는 최신 기술들, 즉 <<소프트웨어를 위한 소프트웨어>>에 대해 연구하고 있습니다. 특히, 현재 아래 연구에 대해 집중하고 있습니다.
• 자동 버그 탐색
• 자동 패치 생성
이와 병행하여, 본 연구실에서는 <<지능형 프로그래밍 교습 시스템>>에 대한 연구를 진행하고 있습니다. 이 시스템은 학생들이 프로그래밍 기술을 습득할 수 있도록 유용한 피드백을 자동으로 제공해주는 등의 기능을 합니다.
