프로그래밍 원리 및 소프트웨어 공학 연구 그룹

소프트웨어의 현재 기술은 미개하다. 미래에는 지금과 같은 수준으로 소프트웨어가 만들어지지 않을 것이다. 소프트웨어 개발에 사용하는 언어는 나날이 상위의 수준으로 올라 갈 것이고, 소프트웨어 개발을 돕는 도구들은 엄밀한 논리의 정교한 지능을 가지고 프로그래머들을 편하게 할 것이다. 따라서 오류 없이 작동할 소프트웨어를 개발하는 비용은 나날이 줄어들 것이고, 소프트웨어 개발자는 밤샘하는 손기술의 고역에서 벗어나 크고 높은 논리의 기획자로 변모할 것이다. 우리는 이러한 미래를 가능하게 하는 연구를 진행한다. 프로그래밍 언어 이론 및 시스템 기술, 정적 분석 이론 및 응용 기술, 소프트웨어 개발 도구 기술, 자동 검증 기술 등을 연구한다.