인물
< 류석영 교수(전산학부장)가 제 26회 가헌학술상을 수상했다. >
우리 대학 류석영 교수(전산학부장)가 정보과학 분야에서 우수한 연구성과를 인정받아 '제26회 한국정보과학회 가헌학술상'을 19일(목) 여수엑스포컨벤션센터에서 수상했다고 20일(금) 밝혔다.
류석영 교수 연구팀은 영어로 작성한 프로그래밍 언어 명세*를 활용하여, 프로그램을 자동으로 실행하고 잘못된 부분을 찾아내는 독창적인 기법을 세계 최초로 개발했다. 이 방법은 소프트웨어의 안전성을 혁신적으로 제고할 수 있으며, 2022년 11월부터 가장 널리 사용되는 자바스크립트 언어 개발에 공식 채택되어 사용되고 있다.
*명세: 프로그래밍 언어의 문법과 의미를 정의한 문서
또한, 미국 백악관과 국방성에서 메모리 문제를 막기 위해 C언어 대신 사용하도록 촉구하고 있는 러스트 언어를 연구해, 기존의 C코드를 안전한 러스트 코드로 번역하는 기술을 선제적으로 개발해 연구를 선도하고 있다.
류 교수는 12월 19일 한국소프트웨어종합학술대회에서 ‘프로그래밍 언어를 잘 만드는 방법’을 주제로 수상자 초청 강연을 진행하기도 했다.
한국정보과학회는 정보과학 분야에서 학술적으로 탁월한 업적을 이루고 학문 발전에 기여한 학회 회원을 매년 선정해 가헌학술상을 수여한다. 가헌학술상은 (주)신도리코가 설립한 가헌신도재단(이사장 우석형)이 후원 및 시상하는 것으로 올해로 26회를 맞이했다.
류 교수는 이번 가헌학술상 수상과 함께 받은 상금 2천만 원 전액을 전산학부 장학기금으로 기부했다. 전산학부는 2023년부터 재정 지원이 꼭 필요한 학생을 돕기 위한 장학기금 마련을 위해, 전산학부 구성원뿐 아니라 관심 있는 분들이 동참할 수 있도록 기금을 모금하고 있다.
류 교수는 “연구팀의 성과는 모두 학생들 덕분이라고 생각한다. 우리 대학 전산학부에, 재정적인 이유로 학업을 지속하거나 취업을 준비하기 어려운 학생이 있을 때, 이 장학기금을 통해 학생이 힘을 얻어 잠시 쉴 수 있고 감사한 경험을 가질 수 있기를 바란다”라고 소감을 전했다.
이어, "우리 대학 전산학부 재학생, 졸업생, 교수, 직원 등 구성원 모두가 합심하여 더 많은 장학금이 모금될 수 있도록 동참해 주길 바란다”라고 말했다.
-
연구 1억 1천만 뉴스 댓글서 ‘외국발 여론 흔들기’ 찾는 AI 기술 개발
선거철마다 반복되는 온라인 갈등 뒤에 조직적인 여론 개입이 숨어 있다면 어떨까. 우리 대학 연구진이 20년간 축적된 1억 1,000만 건의 뉴스 댓글을 AI로 분석해, 외국 연계 영향력 활동으로 의심되는 흔적과 그 판단 근거까지 찾아내는 기술을 개발했다. 우리 대학은 문화기술대학원 이원재 교수, 전산학부 차미영 교수(독일 막스플랑크 연구소 단장 겸임), 오혜연 교수 공동연구팀이 막스플랑크 연구소 토르스텐 홀츠 교수와 국제 공동연구를 통해 온라인 뉴스 댓글에서 외국 연계 영향력 활동으로 의심되는 패턴을 자동으로 탐지하고, 그 판단 근거까지 제시하는 ‘설명 가능한 AI 기술’을 개발했다고 12일 밝혔다. 특정 세력이 댓글이나 게시물을 조직적으로 확산해 사람들의 인식이나 여론에 영향을 미치려는 활동을 ‘온라인 영향력 공작’이라고 한다. 기존 AI 탐지 기술은 특정 계정을 의심 계정으로 분류하더라도 “왜 이 계정을 의심하는가&
2026-08-12 -
기부 동문 이범규 팀스파르타 대표, AI 연구지원 위해 1억 원 기부
우리 대학은 동문인 AI 교육기업 팀스파르타 이범규 대표가 생성형 AI 에이전트 기반 연구지원 프로그램 운영을 위해 전산학부에 1억 원을 기부했다고 16일 밝혔다. 우리 대학은 이번 기부를 바탕으로 약 2년간 전 학과 석·박사 연구자를 대상으로 생성형 AI 에이전트 활용 지원 프로그램을 운영할 계획이다. 연구자들은 ‘클로드 코드(Claude Code)',‘코덱스(Codex)' 등 최신 AI 개발 에이전트를 활용할 수 있으며, 관련 교육과 정기 세미나에도 참여하게 된다. 기부식은 지난 15일 대전 KAIST 본원에서 열렸으며, 이범규 대표와 이재길 KAIST 전산학부장, 류석영 KAIST 전산학부 교수가 참석했다. 이번 후원은 지난해 9월에 이은 이 대표의 두 번째 사재 출연이다. 프로그램은 6개월 단위로 운영되며 기수당 20명의 연구자를 선발할 예정이다. 제1기는 연내 선발을 목표로 하고 있으며, 장기적으로는 지원 범위와 참여 기부자를 확대
2026-07-16 -
인물 오해영·고남경 부부, KAIST 학생 장학금 추가 기탁
독지가 오해영·고남경 부부가 가계 곤란으로 학업 중단 위기에 처한 학생들을 지원하기 위해 ‘긴급 구호 장학금’ 8,000만 원을 KAIST에 추가로 기부했다. 이번 기부는 2025년 9월 교정 내 ‘무궁화 1,000주 식재’ 사업 후원에 이어진 연이은 나눔으로, 부부 독지가의 KAIST 인재 양성에 대한 깊은 신뢰와 애정에서 비롯되었다. 기부금 전액은 부모의 실직, 폐업, 중대 질병이나 재난 등 예기치 못한 가정 경제의 위기로 당장 등록금과 생활비를 걱정해야 하는 사각지대 재학생들을 위한 ‘긴급 구호 재원’으로 사용될 예정이다. 오해영·고남경 부부는 KAIST와 직접적인 연고는 없으나, 대한민국의 미래를 짊어질 과학기술 발전의 중요성에 깊이 공감해 지난 2022년부터 매월 정기기부를 이어온 전형적인 ‘소리 없는 독지가’다. 특히 이들 부부는 캠퍼스 내에 끊임없는 생명
2026-06-29 -
행사 신용인 회장, 학업 중단 위기 KAIST 학생 위해 2000만원 쾌척
독지가 신용인 엔에이치기술투자(주) 회장이 갑작스러운 가계 곤란으로 학업 중단 위기에 처한 학생들을 위해 ‘신용인 긴급 구호 장학금’ 2000만원을 KAIST에 기부했다. 이번 기부금은 부모의 실직, 폐업, 중대 질병이나 재난 등 예기치 못한 가정 경제의 위기로 당장 등록금과 생활비를 걱정해야 하는 사각지대의 학부 및 대학원 재학생들을 위한 ‘긴급 구호 재원’으로 전액 사용될 예정이다. 기부자 신용인 회장은 어린 시절 경제적인 어려움으로 인해 학업을 마음껏 이어가지 못했던 깊은 아쉬움을 마음 한편에 품고 살아왔다. 자신이 겪은 배움에 대한 목마름을 누구보다 잘 알고 있었기에, 평소에도 형편이 어려운 학생들을 위한 장학금을 꾸준히 지원하며 소리 없는 온정을 베풀어왔다. 특히 대전 유성구 지역의 소외계층 학생들을 위한 장학 사업을 지속해서 펼쳐오던 신 회장은 대한민국 과학기술의 중심인 KAIST의 우수한 인재들이 경제적 이유로 꿈을
2026-06-15 -
연구 AI로 기후위기 미래 예측한다
기후 변화는 기온 상승뿐 아니라 경제·에너지·산업 전반에 영향을 미치는 복합 문제로, 미래를 정확히 예측하기 어렵다. KAIST·국제 연구진이 인공지능(AI)을 활용해 기후 변화와 사회·경제적 영향을 동시에 분석할 수 있는 차세대 기후 연구 모델을 제시했다. 우리 대학은 녹색성장지속가능대학원 전해원 교수, 카르틱 무카빌리(Karthik Mukkavilli) 겸직교수, 전산학부 오혜연 교수 연구팀이 중국 북경대학교, 영국 임페리얼 칼리지 런던, 이탈리아 밀라노 폴리테크닉대학교, 미국 메릴랜드대학교, 오스트리아 국제응용시스템분석연구소(IIASA) 등 세계 유수 연구기관과의 국제 공동 연구를 통해 AI 기반 기후 연구 통합 프레임워크를 제시했다고 13일 밝혔다. 현재 기후 변화 연구는 물리적 기후 예측, 사회·경제 영향 분석, 에너지 정책 평가 등이 분야별로 분리돼 수행되는 경우가 많다. 서로 다른 데이터와 분석 체계를
2026-05-13