류석영 KAIST 교수, 한국정보과학회 가헌학술상 수상 > IT/과학기사 | it/science

제26회 가헌학술상을 수상한 KAIST 전산학부 류석영 교수. ⓒ한국과학기술원

한국과학기술원KAIST은 류석영 교수전산학부장가 정보과학 분야에서 우수한 연구성과를 인정받아 제26회 한국정보과학회 가헌학술상을 수상했다고 20일 밝혔다.

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


이 방법은 소프트웨어의 안전성을 혁신적으로 제고할 수 있으며, 2022년 11월부터 가장 널리 사용되는 자바스크립트 언어 개발에 공식 채택돼 사용되고 있다.

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

류 교수는 19일 한국소프트웨어종합학술대회에서 ‘프로그래밍 언어를 잘 만드는 방법’을 주제로 수상자 초청 강연을 진행하기도 했다.

한국정보과학회는 정보과학 분야에서 학술적으로 탁월한 업적을 이루고 학문 발전에 기여한 학회 회원을 매년 선정해 가헌학술상을 수여한다. 가헌학술상은 신도리코가 설립한 가헌신도재단이사장 우석형이 후원 및 시상하는 것으로 올해로 26회를 맞이했다.

류 교수는 이번 가헌학술상 수상과 함께 받은 상금 2000만 원 전액을 KAIST 전산학부 장학기금으로 기부했다. KAIST 전산학부는 2023년부터 재정 지원이 꼭 필요한 학생을 돕기 위한 장학기금 마련을 위해, 전산학부 구성원뿐 아니라 관심 있는 분들이 동참할 수 있도록 기금을 모금하고 있다.

류 교수는 “연구팀의 성과는 모두 학생들 덕분이라고 생각한다. KAIST 전산학부에, 재정적인 이유로 학업을 지속하거나 취업을 준비하기 어려운 학생이 있을 때, 이 장학기금을 통해 학생이 힘을 얻어 잠시 쉴 수 있고 감사한 경험을 가질 수 있기를 바란다”고 말했다.

데일리안 김소희 기자 hee@dailian.co.kr
- Copyrights ⓒ 주데일리안, 무단 전재-재배포 금지 -

관련기사
☞민주당, 헌법재판소는 재촉하면서…이재명 사법리스크는 거리두기
☞손흥민 코너킥골! 토트넘, 맨시티 이어 맨유 밀어내고 4강행
☞尹의 버티기 ‘옳지 않다’…이재명과 동급 ‘잡범’ 안되기를
☞이재명 "한덕수, 거부권 행사할 시간은 있고 특검 도장 찍을 시간은 없어"
☞"사돈처녀, 나 잘해 한 번 하자" 모텔로 밀어넣은 70대男