< 류석영 교수(전산학부장)가 제 26회 가헌학술상을 수상했다. >
류석영 교수 연구팀은 영어로 작성한 프로그래밍 언어 명세*를 활용하여, 프로그램을 자동으로 실행하고 잘못된 부분을 찾아내는 독창적인 기법을 세계 최초로 개발했다. 이 방법은 소프트웨어의 안전성을 혁신적으로 제고할 수 있으며, 2022년 11월부터 가장 널리 사용되는 자바스크립트 언어 개발에 공식 채택되어 사용되고 있다.
*명세: 프로그래밍 언어의 문법과 의미를 정의한 문서
또한, 미국 백악관과 국방성에서 메모리 문제를 막기 위해 C언어 대신 사용하도록 촉구하고 있는 러스트 언어를 연구해, 기존의 C코드를 안전한 러스트 코드로 번역하는 기술을 선제적으로 개발해 연구를 선도하고 있다.
류 교수는 12월 19일 한국소프트웨어종합학술대회에서 ‘프로그래밍 언어를 잘 만드는 방법’을 주제로 수상자 초청 강연을 진행하기도 했다.
한국정보과학회는 정보과학 분야에서 학술적으로 탁월한 업적을 이루고 학문 발전에 기여한 학회 회원을 매년 선정해 가헌학술상을 수여한다. 가헌학술상은 (주)신도리코가 설립한 가헌신도재단(이사장 우석형)이 후원 및 시상하는 것으로 올해로 26회를 맞이했다.
류 교수는 이번 가헌학술상 수상과 함께 받은 상금 2천만 원 전액을 전산학부 장학기금으로 기부했다. 전산학부는 2023년부터 재정 지원이 꼭 필요한 학생을 돕기 위한 장학기금 마련을 위해, 전산학부 구성원뿐 아니라 관심 있는 분들이 동참할 수 있도록 기금을 모금하고 있다.
류 교수는 “연구팀의 성과는 모두 학생들 덕분이라고 생각한다. 우리 대학 전산학부에, 재정적인 이유로 학업을 지속하거나 취업을 준비하기 어려운 학생이 있을 때, 이 장학기금을 통해 학생이 힘을 얻어 잠시 쉴 수 있고 감사한 경험을 가질 수 있기를 바란다”라고 소감을 전했다.
이어, "우리 대학 전산학부 재학생, 졸업생, 교수, 직원 등 구성원 모두가 합심하여 더 많은 장학금이 모금될 수 있도록 동참해 주길 바란다”라고 말했다.
우리 대학은 지난 9일 개교 50주년을 기념하여‘KAIST 50주년 기념 창의학습관 증축공사 기공식’을 개최하고 본격적인 건립에 착수했다고 10일 밝혔다. 이날 기공식에는 이광형 총장을 비롯한 주요 보직자와 신성철 전 총장, 이윤태 총동문회장, 학부모, 교직원 등 주요 기부자가 참석해 자리를 빛냈다. 창의학습관은 KAIST 학부생과 대학원생들이 주로 강의를 듣는 공간으로, 다양한 수업과 강연이 열리는 교육의 중심지이다. 동시에 학생처를 비롯한 학생 지원 부서가 입주해 교육·상담·복지 기능을 아우르는 학생 중심 복합 공간으로 자리매김해왔다. 이번 증축은 단순한 교육시설 확장을 넘어, KAIST의 정체성과 미래 비전을 담은 ‘기부 랜드마크’로 조성된다. 창의융합 교육에 중점을 두어 설계된 이번 프로젝트는 교육, 교류, 복지 기능을 유기적으로 결합한 새로운 교육 허브 공간을 지향한다. 이번 캠페인에는 장병규 크
2025-07-10우리 대학이 세계적인 석학인 미국 노스웨스턴대 존 로저스(John A. Rogers) 교수를 비롯해 3명의 석학을 신소재공학과 등 주요 학과의 초빙석학교수(Invited Distinguished Professor)로 임용했다고 27일 밝혔다. 존 로저스 교수(미국 노스웨스턴대)는 신소재공학과에서 2025년 7월부터 2028년 6월까지 재직할 예정이며, 그레그 로서멜 교수(Gregg Rothermel, 미국 노스캐롤라이나 주립대)는 전산학부에서 2025년 8월부터 2026년 7월까지, 최상혁 박사(Sang H. Choi, 미국 NASA 랭글리 리서치센터)는 항공우주공학과에서 2025년 5월부터 2028년 4월까지 근무하게 된다. 생체 통합 전자소자(bio-integrated electronics) 분야 세계적 권위자인 존 로저스 교수는 유연 전자소자, 스마트 피부, 이식형 센서 등 첨단 융합기술을 선도해 왔으며, Science, Nature, Cell 등 세계 최고 학술지에
2025-06-27우리 대학이 동문의 큰 기부를 받아 시작한 전산학부 증축 건물을 건립했다. 5월 20일 오후 3시 본원 크래프톤 에스오씨(KRAFTON SoC, School of Computing) 빌딩 앞에서 진행된 준공식에는 장병규 크래프톤 이사회 의장을 포함한 기부자와 이광형 총장, 류석영 전산학부장 등 100여 명이 참석했다. 건립의 시작은 2021년 6월, 게임 회사 크래프톤과 크래프톤의 전·현직 구성원이 미래의 소프트웨어 인력 양성을 위해 KAIST에 전달한 110억의 기부였다. 장병규 크래프톤 의장을 비롯한 KAIST 전산학부를 졸업한 4명의 동문이 먼저 기부 의사를 밝혔고, 점차 참여 인원이 늘어나 총 11명의 개인 기부금 55억 원이 조성되었으며, 이에 (주)크래프톤은 동일한 액수의 출연금을 매칭하는 방식으로 총 110억 원의 기부가 이루어졌다. ㈜크래프톤은 2021년부터 구성원 주도의 기부 문화 프로그램 ‘매칭그랜트’를 운영하고 있다.
2025-05-20우리 대학 국가미래전략기술 정책연구소에서 5월 22일(목) 대전 KAIST 본원 학술문화관(E9) 정근모 콘퍼런스홀에서 ‘2025년 상반기 국가전략기술* 혁신포럼’을 개최한다. * 국가전략기술 : 외교․안보 측면의 전략적 중요성이 인정되고 국민경제 및 연관산업에 미치는 영향이 크며 신기술․신산업 창출 등 미래 혁신의 기반이 되는 기술로, AI, 첨단바이오, 양자, 반도체 등 12대 기술 및 50개 세부중점기술 선정․지원 중 (「국가전략기술 육성에 관한 특별법」) 이번 포럼에서는 미국과 중국 간 갈등 고조, 글로벌 안보 불확실성 증가 등 급변하는 국제정세 속에서, 우리나라의 국가전략기술 육성 정책방향을 살펴보고, 나아가 과학기술주권과 미래 성장동력을 확보할 수 있는 한·미 간 기술혁신 강화방안을 논의한다. 포럼은 △이광형 KAIST 총장 개회사 △유상임 과학기술정보통신부 장관 축사 △로버트 앳킨슨 미국 정보기술혁신재단(ITIF) 회장 기조연설로
2025-05-16우리 대학 김성각 화학과 명예교수가 12억 원 상당의 ㈜한켐 주식 12만 주를 기부했다. 이번 기부는 KAIST 화학과와 ㈜한켐이 지난 25년간 이어온 긴밀한 산학협력의 상징으로, 학문과 산업이 함께 걸어온 여정의 결실이라는 점에서 큰 의미를 가진다. 특히, 연구 성과가 산업 성장으로 이어지고, 다시 대학 발전을 위한 기부로 환원되는 선순환 구조를 보여주는 모범 사례로 평가받고 있다. 김 교수는 1999년 유기합성 분야 우수연구센터(SRC)*인‘분자설계합성연구센터(CMDS)’를 KAIST에 유치하며 ㈜한켐과의 협력을 시작했다. 센터장으로서 오랜 기간 공동 연구를 이끌어왔고, 그 결과 ㈜한켐은 KAIST 기술을 바탕으로 성장했다. * 우수연구센터(SRC): 한국연구재단의 국내 최고 연구자를 지원하는 집단연구 지원사업으로 이학 분야 연구센터(Science Research Center) ㈜한켐은 현재 국내 최고 수준의 유기합성기술 기반 임상시험수탁(CRO
2025-04-22