소프트웨어 분석 연구실 (Software Analysis Laboratory)

소프트웨어 분석 연구실은 안전하고 신뢰할만한 소프트웨어를 만드는 기술을 연구합니다. 본 연구실은 프로그래밍 언어에 대한 이해를 바탕으로 SW 자동 분석 및 검증 기술, SW 자동 패치 기술, SW 자동 합성 기술을 연구하고 있으며 학술적으로는 소프트웨어 분야 최상위 학술대회 및 학술지에 연구 성과를 발표함과 동시에 국내외 기업과 연계하여 실제 문제 해결에 이바지하는 노력을 기울이고 있습니다.
또한 본 연구실은 SW보안 국제공동연구센터 (CSSA)에 소속되어 소프트웨어 보안을 위한 프로그램 분석 기술을 연구개발하고 있습니다.

Research Areas

We research on fundamental technologies for software analysis, including

Current Research Topics

Introduction to our research

Software Releases