소프트웨어 분석 연구실은 안전하고 신뢰할 수 있는 소프트웨어를 만드는 기술을 연구합니다. 본 연구실은 프로그래밍 언어에 대한 이해를 바탕으로 SW 자동 분석 기술, SW 자동 패치 기술, SW 자동 합성 기술을 연구하고 있으며 학술적으로는 소프트웨어 분야 최상위 학술대회 및 학술지에 연구 성과를 발표함과 동시에 국내외 기업과 연계하여 실제 문제 해결에 이바지하고 있습니다.
국가
대한민국
소속기관
고려대학교 (학교)
연락처
02-3290-4601 http://prl.korea.ac.kr/~pronto/home/
책임자
오학주 hakjoo_oh@korea.ac.kr