대학원 컴퓨터학과
오학주
- 이메일
- hakjoo_oh@korea.ac.kr
- 홈페이지
- http://prl.korea.ac.kr
- 연구실
- 소프트웨어 분석 연구실
- 전화번호
- 02-3290-4601
Fields
-
소프트웨어 자동 분석 소프트웨어 자동 합성 및 수정 소프트웨어 보안 취약점 검출 소프트웨어 분석을 위한 기계학습
연구 분야 및 내용
-
소프트웨어 분석 연구실은 안전하고 신뢰할 수 있는 소프트웨어를 만드는 기술을 연구합니다. 본 연구실은 프로그래밍 언 어에 대한 이해를 바탕으로 SW 자동 분석 기술, SW 자동 패치 기술, SW 자동 합성 기술을 연구하고 있으며 학술적으로는 소프트웨어 분야 최상위 학술대회 및 학술지에 연구 성과를 발표함과 동시에 국내외 기업과 연계하여 실제 문제 해결에 이 바지하고 있습니다.
연구실 주소
-
과학도서관 616C