Programming Research Laboratory
Research Areas
We research on fundamental technologies for safe and reliable software:
- Software Analysis 소프트웨어 자동 분석
- Software Synthesis 소프트웨어 자동 합성
- Software Repair 소프트웨어 자동 수정
- Software Security 소프트웨어 보안 취약점 검출
Introduction to our research
Software Releases
Research Projects