< 류석영 교수(전산학부장)가 제 26회 가헌학술상을 수상했다. >
류석영 교수 연구팀은 영어로 작성한 프로그래밍 언어 명세*를 활용하여, 프로그램을 자동으로 실행하고 잘못된 부분을 찾아내는 독창적인 기법을 세계 최초로 개발했다. 이 방법은 소프트웨어의 안전성을 혁신적으로 제고할 수 있으며, 2022년 11월부터 가장 널리 사용되는 자바스크립트 언어 개발에 공식 채택되어 사용되고 있다.
*명세: 프로그래밍 언어의 문법과 의미를 정의한 문서
또한, 미국 백악관과 국방성에서 메모리 문제를 막기 위해 C언어 대신 사용하도록 촉구하고 있는 러스트 언어를 연구해, 기존의 C코드를 안전한 러스트 코드로 번역하는 기술을 선제적으로 개발해 연구를 선도하고 있다.
류 교수는 12월 19일 한국소프트웨어종합학술대회에서 ‘프로그래밍 언어를 잘 만드는 방법’을 주제로 수상자 초청 강연을 진행하기도 했다.
한국정보과학회는 정보과학 분야에서 학술적으로 탁월한 업적을 이루고 학문 발전에 기여한 학회 회원을 매년 선정해 가헌학술상을 수여한다. 가헌학술상은 (주)신도리코가 설립한 가헌신도재단(이사장 우석형)이 후원 및 시상하는 것으로 올해로 26회를 맞이했다.
류 교수는 이번 가헌학술상 수상과 함께 받은 상금 2천만 원 전액을 전산학부 장학기금으로 기부했다. 전산학부는 2023년부터 재정 지원이 꼭 필요한 학생을 돕기 위한 장학기금 마련을 위해, 전산학부 구성원뿐 아니라 관심 있는 분들이 동참할 수 있도록 기금을 모금하고 있다.
류 교수는 “연구팀의 성과는 모두 학생들 덕분이라고 생각한다. 우리 대학 전산학부에, 재정적인 이유로 학업을 지속하거나 취업을 준비하기 어려운 학생이 있을 때, 이 장학기금을 통해 학생이 힘을 얻어 잠시 쉴 수 있고 감사한 경험을 가질 수 있기를 바란다”라고 소감을 전했다.
이어, "우리 대학 전산학부 재학생, 졸업생, 교수, 직원 등 구성원 모두가 합심하여 더 많은 장학금이 모금될 수 있도록 동참해 주길 바란다”라고 말했다.
“KAIST는 여러분이 자신만의 독특한 방식으로 빛날 수 있는 '놀이터'입니다. 여러분의 미래는 KAIST와 대한민국의 미래입니다. 신입생 여러분을 진심으로 환영하며, KAIST 입학을 다시 한번 축하합니다.”(이광형 총장) 입학처에서 신입생들의 입학을 축하하고 애교심을 고취하기 위해 각 대학에서 고유한 문화로 자리 잡아 가고 있는 '웰컴키트'를 신입생들에게 전달했다. 이번 웰컴키트는 입학처에서 학생생활처, 학생정책처, 예술융합센터 미술관과 공동 기획하고, 브랜드샵이 물품과 배송비를 100% 지원한 기부 행사 형태로 진행되었다. 웰컴키트에는 우리 대학 마스코트 넙죽이를 담은 수건을 포함한 다양한 굿즈와 이광형 총장의 환영 메시지가 담긴 넙죽이 엽서도 포함되었다. 재학생 봉사자들과 교직원들이 류근철 스포츠 컴플렉스에서 직접 포장하고, 1월 10일에는 전국 각지로 배송되었다. 재학생 봉사자인 정지혁(수리과학과 22학번)는 “KA
2025-01-25우리 대학 이승현 동문(전산학부 학사 졸업)이 크롬 브라우저의 심각한 취약점을 제보하여 받은 포상금 22만 달러 전액을 기부했다. 이승현 동문은 학부 시절부터 정보보안에 관심을 가지고, 크롬 브라우저를 비롯한 여러 웹 브라우저의 취약점을 찾아 제보하며 문제 해결을 위한 연구를 진행했다. 2024년 9월부터 미국 카네기 멜론 대학에서 박사과정을 시작한 그는 KAIST에서 이어온 연구를 바탕으로 크롬 브라우저의 심각한 취약점을 발견했다. 이번 발견은 가장 널리 사용되지만 안전성에 문제가 많은 자바스크립트를 대체하기 위해 개발된 더 안전한 웹어셈블리 코드에서 취약점을 발견했다는 점에서 큰 의미가 있다. 구글은 해당 취약점의 중요성을 인지하고, 두 개의 취약점에 각각 55,000달러의 포상금을 지급했다. 이승현 동문은 이 포상금을 전액 우리 대학에 기부하기로 결정했으며, 구글은 기부금 매칭 제도를 통해 총 22만 달러를 우리 대학에 기부하게 되었다. 이승현 동문은 우리 대학 전
2025-01-20"KAIST가 윤동주 시인의 초판본 시집을 소장한 데는 큰 의미가 있습니다. 윤동주 시인의 위대한 유산은 우리 학생들에게 더 큰 미래를 그려갈 수 있는 영감을 불어넣을 것입니다. 우리 대학은 앞으로도 문학과 예술, 과학의 융합을 통해 창의적이고 도전적인 인재를 양성하는 데 더욱 최선을 다하겠습니다“ (이광형 총장) 우리 대학이 한국을 대표하는 서정 시인 윤동주(1917~1945)의 초판본 시집『하늘과 바람과 별과 시(詩)』를 무명의 독지가로부터 기증받았다고 30일(월) 밝혔다. 이 시집은 한국 현대 문학을 대표하는 작품으로, 윤동주 시인의 순수한 서정성과 인간에 대한 깊은 성찰을 고스란히 담고 있다. 이번에 기증한 초판본은 윤동주 시인의 친구인 정병욱 국문학자가 윤 시인에게 직접 받은 육필 원고의 시 31편이 수록된 1948년 판본이다. 이 초판본은 하마터면 세상의 빛을 못 볼 뻔했다. 윤동주 시인은 일본 유학을 떠나기 전인 1941년에 시집 원고를 친구 정병욱에
2024-12-30“다문화 우수 인재 양성을 위해 이번 기부를 추진한 GS칼텍스에 깊은 감사를 드립니다. 이런 기부를 통해 우리 대학은 다양성을 포용하는 글로벌 인재를 양성하고 아무도 하지 않은 연구, 최고보다 최초, 정답을 찾기보다 질문에 나서는 미래 비전을 가진 초일류대학으로 우뚝 서겠습니다”(이광형 총장) 우리 대학이 GS칼텍스(대표이사 허세홍 사장)와 19일(목) 서울 강남구 GS타워에서 ‘다문화 우수 인재 양성 협약’을 체결하고 다문화 인재 후원과 사회적 가치 확산을 위해 협력하기로 했다고 19일 밝혔다. GS칼텍스는 이번 협약을 통해 우리 대학에 2024년부터 4년 동안 매년 1억 원의 발전기금을 출연한다. 이 발전기금으로 다문화 재학생을 위한 장학금을 제공하고, 다문화 유소년 멘토링 프로그램을 추진할 예정이다. 기부 약정식에는 GS칼텍스 허세홍 사장, 이광형 총장 등 관계자가 참석한다. GS칼텍스는 대한민국이 다양한 국가 출신자들이 어
2024-12-19“케이던스 사의 통 큰 기부에 감사드리며, 대한민국 AI 인재 100만 명 양성이라는 원대한 목표 달성과 세상을 혁신할 반도체 연구 실현에 앞장서겠습니다”(이광형 총장) 우리 대학은 미국 소프트웨어 기업인 케이던스 디자인 시스템즈 코리아(Cadence Design Systems, 이하 케이던스)가 반도체 설계 특화 장비인 ‘케이던스 팔라디움 제트원(Cadence Palladium Z1)’*을 우리 대학에 기증한다고 밝혔다. *팔라디움 제트원: 반도체 설계 검증을 위한 초고성능 에뮬레이터 장비로, 하드웨어-소프트웨어 검증 및 디버깅 작업을 1개의 랙 당 5.76억 게이트까지 대용량으로 구현 가능함. 동 장비를 통해 SoC(System On Chip) 개발 단계에서 설계 검증을 더 원활히 수행할 수 있음. 케이던스는 1995년 반도체설계교육센터(IDEC) 설립 이후 우리 대학에 EDA(Electronic Design Automati
2024-12-17