Dept of Computer science and Engineering
Hakjoo Oh
- hakjoo_oh@korea.ac.kr
- Homepage
- http://prl.korea.ac.kr
- Faculty Office
- Software Analysis Laboratory
- Phone Number
- +82-2-3290-4601
연구 분야 및 내용
-
소프트웨어 분석 연구실은 안전하고 신뢰할 수 있는 소프트웨어를 만드는 기술을 연구합니다. 본 연구실은 프로그래밍 언 어에 대한 이해를 바탕으로 SW 자동 분석 기술, SW 자동 패치 기술, SW 자동 합성 기술을 연구하고 있으며 학술적으로는 소프트웨어 분야 최상위 학술대회 및 학술지에 연구 성과를 발표함과 동시에 국내외 기업과 연계하여 실제 문제 해결에 이 바지하고 있습니다.
연구실 주소
-
Room 616c, Science Library Bldg