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

20일 KAIST는 이 같이 밝혔다.

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

이 방법은 2022년 11월부터 자바스크립트 언어 개발에 공식 채택돼 사용되고 있다.

또 미국 백악관과 국방성에서 메모리 문제를 막기 위해 C언어 대신 사용하도록 촉구하고 있는 러스트 언어를 연구해 C코드를 안전한 러스트 코드로 번역하는 기술을 선제적으로 개발했다.

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

윤승훈 기자  press@jeonpa.co.kr

<저작권자 © 전파신문, 무단 전재 및 재배포 금지>