프로그래밍 시스템 연구실은 안전하고 믿을만한 소프트웨어를 손쉽게 만드는데 필요한 차세대 기술을 연구한다. 소프트웨어의 심각한 오류를 자동으로 검출하고 고치는 기술, 용도에 알맞게 프로그램을 자동으로 변형하거나 생성하는 기술, 더욱 더 편리하고 사용자 친화적인 프로그래밍 환경 등을 연구한다. 또한 이러한 기술의 근간이 되는 프로그래밍 언어 및 분석 이론과 인공지능 기법을 탐구하고 설계한다.