기부
< 류석영 교수(전산학부장)가 제 26회 가헌학술상을 수상했다. >
우리 대학 류석영 교수(전산학부장)가 정보과학 분야에서 우수한 연구성과를 인정받아 '제26회 한국정보과학회 가헌학술상'을 19일(목) 여수엑스포컨벤션센터에서 수상했다고 20일(금) 밝혔다.
류석영 교수 연구팀은 영어로 작성한 프로그래밍 언어 명세*를 활용하여, 프로그램을 자동으로 실행하고 잘못된 부분을 찾아내는 독창적인 기법을 세계 최초로 개발했다. 이 방법은 소프트웨어의 안전성을 혁신적으로 제고할 수 있으며, 2022년 11월부터 가장 널리 사용되는 자바스크립트 언어 개발에 공식 채택되어 사용되고 있다.
*명세: 프로그래밍 언어의 문법과 의미를 정의한 문서
또한, 미국 백악관과 국방성에서 메모리 문제를 막기 위해 C언어 대신 사용하도록 촉구하고 있는 러스트 언어를 연구해, 기존의 C코드를 안전한 러스트 코드로 번역하는 기술을 선제적으로 개발해 연구를 선도하고 있다.
류 교수는 12월 19일 한국소프트웨어종합학술대회에서 ‘프로그래밍 언어를 잘 만드는 방법’을 주제로 수상자 초청 강연을 진행하기도 했다.
한국정보과학회는 정보과학 분야에서 학술적으로 탁월한 업적을 이루고 학문 발전에 기여한 학회 회원을 매년 선정해 가헌학술상을 수여한다. 가헌학술상은 (주)신도리코가 설립한 가헌신도재단(이사장 우석형)이 후원 및 시상하는 것으로 올해로 26회를 맞이했다.
류 교수는 이번 가헌학술상 수상과 함께 받은 상금 2천만 원 전액을 전산학부 장학기금으로 기부했다. 전산학부는 2023년부터 재정 지원이 꼭 필요한 학생을 돕기 위한 장학기금 마련을 위해, 전산학부 구성원뿐 아니라 관심 있는 분들이 동참할 수 있도록 기금을 모금하고 있다.
류 교수는 “연구팀의 성과는 모두 학생들 덕분이라고 생각한다. 우리 대학 전산학부에, 재정적인 이유로 학업을 지속하거나 취업을 준비하기 어려운 학생이 있을 때, 이 장학기금을 통해 학생이 힘을 얻어 잠시 쉴 수 있고 감사한 경험을 가질 수 있기를 바란다”라고 소감을 전했다.
이어, "우리 대학 전산학부 재학생, 졸업생, 교수, 직원 등 구성원 모두가 합심하여 더 많은 장학금이 모금될 수 있도록 동참해 주길 바란다”라고 말했다.
-
정책 학생·교수·교직원 ‘원팀’으로 학교 보안 시스템 만들다…과기부 공모전 최우수상
학생이 수업에서 만든 프로그램이 과제 제출로 끝나지 않고 실제 우리 대학의 보안 시스템이 됐다. 학생과 교수, 교직원이 한 팀이 되어 학교가 겪고 있는 문제를 해결했고, 그 성과는 과학기술정보통신부 공모전 최우수상으로 이어졌다. 우리 대학 전산학부 김요한 학생과 학술정보처 정보보안팀은 차상길·강민석 교수가 운영하는 〈전산학 프로젝트〉 수업에서 교내 웹사이트의 보안 인증서를 자동으로 관리해 주는 시스템을 공동 개발했다. 수업에서 시작된 결과물은 실제 운영 환경에 맞게 보완돼 현재 ‘SSL Manager’라는 이름으로 교내 웹 서비스에 적용되고 있다. 정보보안팀은 이를 다른 기관에서도 활용할 수 있는 「기존 인프라를 활용한 SSL 인증서 자동갱신 체계 구축 및 기관 공통 확산 방안」으로 발전시켰다. 이 제안은 과학기술정보통신부 「2026년 정보보호 아이디어 공모전」에서 최우수상에 선정됐다. 과기정통부 본부와 소속·산하기관에서 총 11
2026-10-08 -
행사 KAIST, 국내 최초 범용인공지능(AGI) 연구소 출범
학습한 문제를 잘 푸는 현재의 인공지능을 넘어, 처음 접하는 문제와 환경에서도 스스로 판단하고 적응할 수 있는 범용인공지능(Artificial General Intelligence, AGI) 원천기술 개발을 위해 우리 대학이 AGI 전담 연구소를 출범했다. 우리 대학은 지난 18일 내부 승인 절차를 마치고 AI연구원 산하에 AGI 연구소(AGI Research Institute)를 공식 출범했다고 밝혔다. 전산학부, AI컴퓨팅학과, 김재철AI대학원, 전기및전자공학부 소속 교수 11명이 참여하며, 김태균 전산학부 교수가 초대 소장을 맡았다. 연구진은 향후 참여 범위를 점차 확대할 계획이다. AGI 연구소는 기초연구를 통해 범용인공지능의 과학과 공학을 발전시키고 그 성과와 혜택을 사회에 환원하는 것을 목표로 한다. 특히 기존에 접하지 않은 과제와 환경, 데이터에서도 학습한 지식을 활용할 수 있는 AI의 ‘일반화(Generalization)’ 능력을 핵심
2026-09-22 -
행사 롯데와 지속가능 미래 위한 연구거점 ‘LOTTE x KAIST R&D CENTER’ 준공
기후변화와 탄소중립 등 인류가 직면한 지속가능성 문제를 해결하기 위해 대학과 기업이 연구개발부터 사업화까지 함께하는 새로운 산학협력 거점이 우리 대학에 문을 열었다. 우리 대학은 11일 대전 본원에서 신동빈 롯데그룹 회장을 비롯한 롯데그룹 관계자와 KAIST 주요 보직자, 생명화학공학과 교수 및 관계자 등이 참석한 가운데 ‘LOTTE x KAIST R&D CENTER’ 준공식을 개최했다고 13일 밝혔다. LOTTE x KAIST R&D CENTER는 롯데그룹이 지원한 건축기부금 100억 원과 KAIST 생명화학공학과의 자체 기금 등을 바탕으로 조성됐다. 미래기술의 기초·원천연구부터 실험, 시제품 제작, 기술사업화까지 연구개발 전 과정을 아우르는 산학협력형 연구 거점으로 운영될 예정이다. 특히 대학의 연구역량과 기업의 산업·사업화 경험을 하나의 공간에서 연결해 기존 산학협력의 경계를 넘어선 ‘초경계 협
2026-09-14 -
연구 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