전임교수
박지혁
- 이메일
- jihyeok_park@korea.ac.kr
- 홈페이지
- https://plrg.korea.ac.kr/
- 연구실
- 프로그래밍 언어 연구실
- 전화번호
- 02-3290-4602
Fields
-
- 프로그래밍 언어 - 프로그램 분석 - 기계화 명세 - 프로그램 합성 - 테스트 자동화 연구 분야 및 내용 프로그래밍 언어 연구실은 개발자들이 고품질의 소프트웨어를 설계 및 구현할 수 있도록 지원해주는 다방면의 프로그래밍 언어 기술을 연구합니다. - 프로그램 분석: 프로그램의 행동을 자동으로 분석하여, 소프트웨어 취약성 및 결함을 자동으로 검출하는 기술입니다. - 기계화 명세: 인간 친화적인 명세와 기계 친화적인 소프트웨어 사이의 간극을 좁혀주는 기술입니다. - 프로그램 합성: 명세에 부합하는 프로그램을 자동으로 합성하여 소프트웨어 개발자들의 업무 효율성을 높여주는 기술입니다. - 테스트 자동화: 개발자를 대신하여 자동으로 테스트를 생성하여 소프트웨어의 품질을 보장해주는 기술입니다. 연구실 주소 과학도서관 609A호