KAIST 류석영 교수 '가헌학술상' 수상…상금 2천만원 전액 기부

자동요약 기사 제목과 주요 문장을 기반으로 자동요약한 결과입니다.
전체 맥락을 이해하기 위해서는 본문 보기를 권장합니다.

한국과학기술원(KAIST)은 전산학부장인 류석영 교수가 올해 제26회 한국정보과학회 '가헌학술상'을 받았다고 20일 밝혔다.

류 교수 연구팀은 영어로 작성한 프로그래밍 언어 명세(프로그래밍 언어의 문법과 의미를 정의한 문서)를 활용, 프로그램을 자동으로 실행하고 잘못된 부분을 찾아내는 독창적인 기법을 세계 최초로 개발했다.

류 교수는 학술상 수상 상금 2천만원 전액을 KAIST 전산학부 장학기금으로 기부했다.

닫기

음성재생 설정 이동 통신망에서 음성 재생 시 데이터 요금이 발생할 수 있습니다. 글자 수 10,000자 초과 시 일부만 음성으로 제공합니다.

닫기

번역beta Translated by kaka i

닫기

글자크기 설정 파란원을 좌우로 움직이시면 글자크기가 변경 됩니다.

이 글자크기로 변경됩니다.

(예시) 가장 빠른 뉴스가 있고 다양한 정보, 쌍방향 소통이 숨쉬는 다음뉴스를 만나보세요. 다음뉴스는 국내외 주요이슈와 실시간 속보, 문화생활 및 다양한 분야의 뉴스를 입체적으로 전달하고 있습니다.

닫기

연합뉴스