
< 류석영 교수(전산학부장)가 제 26회 가헌학술상을 수상했다. >
류석영 교수 연구팀은 영어로 작성한 프로그래밍 언어 명세*를 활용하여, 프로그램을 자동으로 실행하고 잘못된 부분을 찾아내는 독창적인 기법을 세계 최초로 개발했다. 이 방법은 소프트웨어의 안전성을 혁신적으로 제고할 수 있으며, 2022년 11월부터 가장 널리 사용되는 자바스크립트 언어 개발에 공식 채택되어 사용되고 있다.
*명세: 프로그래밍 언어의 문법과 의미를 정의한 문서
또한, 미국 백악관과 국방성에서 메모리 문제를 막기 위해 C언어 대신 사용하도록 촉구하고 있는 러스트 언어를 연구해, 기존의 C코드를 안전한 러스트 코드로 번역하는 기술을 선제적으로 개발해 연구를 선도하고 있다.
류 교수는 12월 19일 한국소프트웨어종합학술대회에서 ‘프로그래밍 언어를 잘 만드는 방법’을 주제로 수상자 초청 강연을 진행하기도 했다.
한국정보과학회는 정보과학 분야에서 학술적으로 탁월한 업적을 이루고 학문 발전에 기여한 학회 회원을 매년 선정해 가헌학술상을 수여한다. 가헌학술상은 (주)신도리코가 설립한 가헌신도재단(이사장 우석형)이 후원 및 시상하는 것으로 올해로 26회를 맞이했다.
류 교수는 이번 가헌학술상 수상과 함께 받은 상금 2천만 원 전액을 전산학부 장학기금으로 기부했다. 전산학부는 2023년부터 재정 지원이 꼭 필요한 학생을 돕기 위한 장학기금 마련을 위해, 전산학부 구성원뿐 아니라 관심 있는 분들이 동참할 수 있도록 기금을 모금하고 있다.
류 교수는 “연구팀의 성과는 모두 학생들 덕분이라고 생각한다. 우리 대학 전산학부에, 재정적인 이유로 학업을 지속하거나 취업을 준비하기 어려운 학생이 있을 때, 이 장학기금을 통해 학생이 힘을 얻어 잠시 쉴 수 있고 감사한 경험을 가질 수 있기를 바란다”라고 소감을 전했다.
이어, "우리 대학 전산학부 재학생, 졸업생, 교수, 직원 등 구성원 모두가 합심하여 더 많은 장학금이 모금될 수 있도록 동참해 주길 바란다”라고 말했다.
“AI 시대에는 데이터의 바다 속에 새로운 미래가 있다. KAIST가 세계 1위 AI 연구 집단으로 도약해 달라.”(김재철 동원그룹 명예회장) 우리 대학은 김재철 동원그룹 명예회장이 인공지능(AI) 인재 양성과 연구 인프라 강화를 위해 59억 원의 발전기금을 추가로 약정해 총 603억원을 기부했다고 16일 밝혔다. 이번 기부는 2020년 이후 두 번째 추가 기부로, 김재철 명예회장은 대한민국 AI 분야의 국가 경쟁력 강화를 위한 지원을 이어오고 있다. 김재철 명예회장은 2020년 기부를 통해 ‘KAIST 김재철 AI대학원’을 설립하며 KAIST가 AI 분야에서 세계 최고 수준의 역량을 갖출 것을 당부해왔다. KAIST가 최근 5년간(20~24년) AI 연구 수준이 세계 대학 중 5위라는 소식을 접한 김 명예회장은 이를 세계 1위 수준으로 도약시켜 달라고 요청했다. 이에 이광형 총장은 “현재 세계 최고 수준으로 평가받는 카
2026-01-16구글 Gemini 등 대부분의 주요 상용 거대언어모델(LLM)은 효율성을 높이기 위해 여러 개의 ‘작은 AI 모델(전문가 AI)’를 상황에 따라 선택해 사용하는 전문가 혼합(Mixture-of-Experts, MoE) 구조를 활용하고 있다. 그러나 이 구조가 오히려 새로운 보안 위협이 될 수 있다는 사실이 KAIST 연구진에 의해 세계 최초로 밝혀졌다. 우리 대학 전기및전자공학부 신승원 교수와 전산학부 손수엘 교수 공동연구팀이 전문가 혼합 구조를 악용해 거대언어모델의 안전성을 심각하게 훼손할 수 있는 공격 기법을 세계 최초로 규명하고, 해당 연구로 정보보안 분야 최고 권위 국제 학회인 ACSAC 2025에서 최우수논문상(Distinguished Paper Award)을 수상했다고 26일 밝혔다. ACSAC(Annual Computer Security Applications Conference)는 정보보안 분야에서 가장 영향력 있는 국제 학술대회 중 하나로
2025-12-26우리 대학 박기현·이찬규·황정섭 학생이 '2025 대한민국 인재상'을 수상했다. 이들은 24일 오후 정부세종컨벤션센터에서 열린 ‘2025 대한민국 인재상 시상식’에서 대학생·청년일반 분과 4명, 고등학생 분과 2명으로 나뉘어 전국 최종 100인에 포함됐다. 대한민국 인재상은 창의성과 도전정신을 갖추고 사회 발전에 기여한 인재를 발굴·격려하기 위해 2008년부터 시행 중인 전국 단위 시상 제도다. 대학생·청년일반 분과 수상자 박기현 신소재공학과 대학원생은 탄소 중립 사회를 앞당길 신소재 기반 촉매 개발 등 활발한 연구활동을 바탕으로 특허를 출원하고 국제 SCI 저널에 다수 논문을 게재하며 전문성과 실용성을 갖춘 차세대 인재로서 두드러진 성취를 이루고 있다. 전산학부 대학원 이찬규 학생은은 뇌과학과 인공지능 등 관심 분야 지식을 대형 산불의 예방·진화 등 사회적 문제 해결에 창의
2025-12-26우리 대학은 권준하 신익산화물터미널 회장이 KAIST 학생 지원을 위해 ‘미산 등산장학금’ 조성을 목적으로 5억 원 규모의 원금 보존형 유언대용신탁 펀드를 기부했다고 12일 밝혔다. 이번 기부는 KAIST 최초의 ‘원금 보존형 펀드 기반 장학기금’으로, 연간 약 1억 원의 수익이 안정적으로 발생해 반영구적으로 장학금을 지급할 수 있는 지속가능한 모델이다. 유언대용신탁은 생전에 자산을 신탁사에 맡기면 사후 지정한 수익자에게 자동 이전되는 방식이며, 이번 기부는 원금(5억 원)을 절대 건드리지 않고 발생하는 수익만으로 운영되는 장학기금이라는 점에서 의미가 크다. KAIST가 유언을 활용한 기부 사례는 있었지만, 펀드를 활용한 원금 보존형 장학기금은 이번이 최초다. 권 회장은 서울대학교 경제학과 졸업 후 30년 이상 장기 간접 투자로 안정적 자산을 일궈온 투자·경영 전문가로, 서울대·숙명여대·원
2025-12-12우리 대학은 전산학부 한형석 동문(박사 졸업)과 윤인수 동문(학사 졸업, 현 전기및전자공학부 부교수)이 미국 국방고등연구계획국(DARPA)이 주관한 세계 최대 AI 보안 기술 경진대회 ‘AI 사이버 챌린지(AIxCC)’에서 최종 우승한 ‘팀 애틀란타’의 우승상금 중 1억 5천만 원을 모교 KAIST에 기부했다고 23일 밝혔다. AIxCC 결선은 올해 8월 미국 라스베이거스에서 개최됐으며, 삼성리서치와 KAIST·포스텍·조지아공대 연구진으로 구성된 ‘팀 애틀란타’가 최종 1위를 차지했다. AIxCC는 총상금 2,950만 달러(약 410억 원)가 걸린 세계 최대 규모의 AI 보안 경진대회로, 지난 2년 동안 전 세계 보안 기업과 연구팀이 AI 기반 보안 기술을 겨루며 최고의 기술력을 선보여 왔다. 이번 대회에는 총 91개 팀이 등록했고, 이 중 31개 팀이 예선에 참가했으며 7개 팀이 본선에
2025-11-25