개방형 에너지 클라우드 플랫폼 연구단 설립

우리 대학 전산학부 문수복 교수가 과학기술정보통신부의 한국연구재단 과제에 선정되어 지난 6월 20일 “개방형 에너지 클라우드 플랫폼 연구센터 / Center for OECP”를 설치하였다. 총 4 총괄 분야로 구성이 되어 있고, 카이스트의 전산학부, 산업 및 시스템 공학과, 기계공학과, 전기 및 전자공학과, 생명화학공학과, 신소재공학과의 교수진들과 서울대학교, 성균관대학교 연구책임자 등, 총 17인으로 구성되어 미래에너지 기술을 위한 차세대 복합형 에너지 서버 기반 에너지 클라우드 및 네트워크 기술개발을 목표로 하고 있다 선정된 각 과제에는 올해 20억 원(2020년 22억 원)의 예산이 투입되고 연차 평가를 통해 최대 5년간 162억 원이 지원될 예정이다. 연구 분야는 1총괄 : 빅데이터 기반 최적 운영 및 관리기술의 개발, 2총괄 : 에너지 클라우드용 고신뢰 분산 플랫폼 보안 기술개발, 3총괄 : 개방형 에너지 클라우드 플랫폼을 위한 고효율 에너지 서버 개발, 4총괄 : 에너지 클라우드를 위한 빅 에너지 데이터 생성 및 서버 요소의 개발 등으로 나누어진다. 1총괄은 다양한 네트워크 여건변화에 대응하는 인공지능 기술개발로 에너지 클라우드 운영/관리 비용의 획기적인 감소를 전략적 목표로 하고 있으며, 스마트 그리드 디지털 트윈 및 에너지 클라우드 운영/관리 전략 수집 소프트웨어 개발 및 공개, 분산 에너지 자원 최적 운영 및 관리 원천기술 지적 재산권 확보, 에너지 기술 기본계획 수립에 반영 가능한 가치평가시스템 개발과 함께 SCI급 저널 혹은 최우수/우수 학술대회 논문 게재와 학술 발표를 성과 목표로 잡고 있다. 2총괄은 고신뢰 분산 플랫폼 보안을 통하여 안전하고 고성능의 에너지 클라우드 개방형 데이터 플랫폼의 구현을 전략목표로 삼고 있으며, 신뢰성 있고 보안성 있는 수십 테라바이트급 개방형 분산 메모리 데이터 처리 플랫폼 소프트웨어 개발 및 공개와 에너지 클라우드의 주요 자원 식별 및 분류 체계 개발, 블록체인기반 에너지 위변조 방지기술 특허 및 오픈소스 프로그램 개발을 위한 보안 연구를 목표로 한다. 3총괄에서는 재생 에너지의 다양한 부하 추종이 가능한 고효율 에너지 서버 테스트 베드 구현을 전략목표로 하며, 슈퍼커패시터, 이차전지, 수소-연료전지를 통합한 복합형 에너지 서버의 20kW급 테스트 베드 제작, 에너지 클라우드의 여러 요소별 알고리즘 개발 및 적용을 통한 에너지 서버의 효율성 안정성 향상, 급격한 전력 수요 변동에 안정적이고 효율적인 전력변환 회로 및 전력변환 시스템 프로토타입 개발, 신재생 에너지의 불확실성 및 에너지 저장장치 소재 평가를 고려한 에너지 클라우드 최적 디자인, 운전 및 운영 전략 개발, 시스템 설계, 최적화 알고리즘, 전력 변환 회로 등 에너지 서버 설계 기술 6건 이상의 지적 재산권 확보 및 1건 이상의 기술이전과 함께 저널에 논문게재와 학술 발표를 성과 목표로 연구중에 있다. 4총괄은 에너지 클라우드 시스템 공정 모사를 위한 빅 에너지 저장 소재 데이터베이스 구축 및 테스트 베드 시스템 위한 에너지 서버 개발을 전략적 목표로 하며, 시뮬레이션 데이터/텍스트 마이닝 데이터/실험 데이터 융합 에너지 저장 소재 데이터베이스, 다양한 환경 및 분야에서 사용될 수 있는 고체 수소 저장 소재 라이브러리 구축 및 에너지 클라우드 테스트 베드 시스템을 통한 고체 수소 저장 소재 상용화 연구, 다양한 동적변화에 대응 가능한 연료전지 실험 데이터 라이브러리 구축 및 확보와 에너지 클라우드 테스트베드 시스템을 통한 전력 수요에 유연한 연료전지 시스템 최적화, 다양한 운전 조건 및 전해질 유송특성에 따른 셀 데이터와 임피던스를 활용한 전기화학적 데이터 확보를 성과 목표로 한다. 에너지 클라우드 시스템을 구축하기 위해서 여러 가지 종류의 신재생 에너지원이 필수적이고, 무엇보다도 다양한 시간, 장소, 기후 조건 등에 따라 유연하게 해당 에너지원을 생산 및 저장하여 최적의 조건에서 각 에너지원을 이용 가능하게 하는 것이 중요하다. 또한 수소 에너지의 실절적인 활용을 위해서는 변화되는 구동 조건에 따라 안정적으로 수소를 공급하는 것이 중요하고, 이를 위해 효율적이고 안전한 방식으로 수소를 저장하는 기술을 개발하는 것이 중요하다. 본 연구단은 지금까지 알려진 여러 종류의 고체 수소 저장 물질(금속수소화물, 착수소화물, 다공성 물질)들이 각각의 물질 특성에 따라 다양한 조건에서 유연하게 활용될 수 있도록 수소 저장 소재 라이브러리를 구축하는 것을 목표로 함. 고체 수소 저장 소재 종류에 따른 온도 및 압력 등의 구동 조건과 수소 저장 밀도의 수소 저장 성질 변수를 최적화하는 연구를 수행할 것임. 변화하는 조건에 따라 저장된 수소를 에너지 시스템에 공급될 수 있도록 하며, 이는 추후에 연료 전지 및 에너지 저장 세부 그룹들과 협업하여 에너지 클라우드 시스템의 테스트 베드 구축 마련의 초석이 될 것이다. 우리 연구센터은 이번 개방형 에너지 클라우드 플랫폼 연구센터의 개설을 통해 총 5년간의 연구과제를 보다 효율적으로 관리하여 사업화 또는 기술이전을 통한 새로운 서비스를 제공함과 동시에 향후 에너지 산업계에서 정보보호 플랫폼으로서 글로벌 수준의 연구 및 융합형 인재양성의 기틀을 마련할 계획이다.

KAIST 전산학부 김문주 교수, 19th Intl. Conf. on Runtime Ver..

KAIST 전산학부 김문주 교수가 2019년 10월 8-11일에 열리는 19th Intl. Conf. on Runtime Verification (RV) 에서 Test of Time Award를 수상했다. https://www.react.uni-saarland.de/rv2019/ Test of Time Award는 10년 이상 과거 Runtime Verification 학회 논문 중, 연구 커뮤니티에 큰 영향력을 끼친 논문에 주는 상으로써, 2001년 Runtime Verification 학회에 김문주 교수가 제1저자로 발표한 Java-MaC: A Run-time Assurance Tool for Java Programs 논문이, runtime verification 연구 분야를 개척하고 과거 18년간 관련 연구 분야에 큰 공헌을 한 점을 인정받았다.

KAIST 전산학부 부교수 유신, ACM Transactions on Software En..

KAIST 전산학부 유신 교수가 2019년 7월자로 ACM이 발행하는 Transactions on Software Engineering and Methodology (TOSEM) 학술지의 편집위원으로 선출되었다. ACM TOSEM은 IEEE Transactions on Software Engineering (TSE)과 함께 소프트웨어 공학 분야에서 유일하게 SCI에 등재되어 있는 저명 학술지이다. JCR 2017 기준 IF 2.516의 높은 영향력을 자랑하고 있으며, Google Scholar 기준 Software Systems 분야의 학회 및 학술지 순위에서 18위에 랭크되어 있다.

박사과정 김수지, ICWE 2019 Distinguished Paper Award 수상

우리 전산학부 박사과정 김수지(지도교수: 최성희) 학생이 지난 6월 11~14일 대전컨벤션센터(DCC)에서 열린 19th International Conference on Web Engineering (ICWE 2019) 국제학회에서 ‘DotCHA: A 3D Text-based Scatter-type CAPTCHA’ 논문으로 Distinguished Paper Award를 수상했다. 본 논문은 기존 2D 텍스트로 구현되었던 CAPTCHA를 3차원 모델 형태로 변환해 CAPTCHA 시스템에서 중요한 usability와 security를 동시에 보완하는 방안을 제안한 논문이다.

정보보호대학원 손수엘 교수 국제우수학회 WWW 2019 논문 게재및 발표

정보보호대학원 손수엘, 김용대, 신승원 교수 연구팀은 지난 5/14-17일 미국 샌프란시스코에서 열린 The Web Conference 2019 학회(Previously WWW)에서 ＇Doppelgängers on the Dark Web: A Large-scale Assessment on Phishing Hidden Web Services’ 논문을 발표하였다. 손수엘 교수가 이끈 해당 연구에서는 다크웹의 내재된 속성 중 하나인 익명성을 악용하는 피싱 웹사이트가 상당수 존재한다는 것을 밝혀냈으며 피싱 웹사이트를 탐지할 수 있는 방법론을 제시하였다. 또한 다크웹 상의 피싱 웹 사이트들이 가지는 특징들을 조사하고 이를 정리하였다. 본 연구의 내용을 담아낸 논문은 제시한 접근 방법의 기여도를 인정받아 전체 제출된 1247여편의 논문 가운데 225개의 논문 중 한 편으로 채택이 되었다. 또한 보안 트랙에서 Oral 발표된 5개의 논문 중에 하나로 선정되었다.

백형부 박사 인천대학교 조교수 임용

우리 전산학부 졸업생인 백형부 박사(지도교수: 윤현수)가 2019년 3월 1일부로 인천대학교 컴퓨터공학부 조교수로 임용되었다. 백형부 박사는 2012년, 2016년에 KAIST 전산학부에서 석사, 박사 학위를 받고, 이후 성균관대학교 박사후 연구원을 거쳐 국방과학연구소에서 재직하였다. 주 연구 분야는 사이버 물리 시스템 및 실시간 시스템으로 실시간성 보장 및 효율적인 자원 관리에 관한 다양한 연구를 중점적으로 진행하고 있다. 지금까지 실시간 시스템 분야의 최우수 학술대회/학술지인 IEEE RTSS, IEEE RTAS, IEEE TPDS 등에 다수의 논문을 발표하였다. 또한, 2012년 IEEE RTSS에서 최우수 논문상 (Best Paper Award)을 수상하였다. https://sites.google.com/view/hyeongboobaek

전산학부 석사과정 양세린 학생, 관정 장학생 선정

전산학부 석사과정 양세린(지도교수: 김주호) 씨가 2019년 관정 이종환 교육재단 국내대학 대학원 장학생으로 선정되었다. 관정교육재단은 지난 2002년부터 삼영화학그룹 이종환 회장이 전 재산을 기부해 국내·외 장학사업을 벌이고 있는 아시아 최대 장학재단으로, 대한민국의 최우수 인재들을 선발하여 각 분야에서 세계적인 인물로 성장할 수 있도록 지원하고 있다. 국내대학 대학원 장학생은 전국 대학의 석사과정, 석박통합과정, 박사과정 대학원생 가운데 학업 능력 및 연구 활동을 바탕으로 학교에서 추천되어 서류, 면접 심사를 거쳐 최종 선발되었으며 이번에 선정된 양세린 씨는 관정 이종환 교육재단에서 장학금 총 2,200만원을 받게된다.

문수복 교수 대통령표창 수상

지난 22일 오후 3시경 동대문디자인플라자 알림2관에서 개최된 2019년 과학·정보통신의 날 기념식에서 우리 전산학부 문수복 교수가 초고성능 네트워크 시스템, 소셜네트워크 분야의 세계적 연구(총피인용 17,000회 이상) 및 최상위급 국제학술대회 등을 통해 국내 ICT학계 위상 제고에 기여함을 인정받아 대통령표창을 수상했다. 수상을 축하드립니다. 관련기사: http://www.asiatoday.co.kr/view.php?key=20190422010014727

김효수 박사 중앙대 조교수 임용

카이스트 전산학부 졸업생인 김효수 박사 (지도교수: 신인식)가 2019년 3월 1일부로 중앙대학교 소프트웨어대학 소프트웨어학부 조교수로 임용되었다. 김효수 박사는 2012년, 2018년에 KAIST 전산학부에서 석사, 박사 학위를 받고, 이후 6개월간 KAIST 전산학부에서 연구조교수로 근무하였다. 주 연구 분야는 사이버 물리 시스템 및 모바일, 유비쿼터스 컴퓨팅으로 지금까지 모바일, 유비쿼터스 컴퓨팅 분야 및 실시간 시스템 분야의 최우수 학술대회/학술지인 ACM SenSys, ACM UbiComp, IEEE RTSS, ACM EMSOFT, ACM MobiCom 등에서 논문을 발표하였다. 또한, 2018년 ACM SenSys에서 Best Paper Runner-up Award을 수상하였다.

이동만, 최성희 교수 연구실 2019년도「SW스타랩」 선정

[사진상 좌측 최성희 교수, 우측 이동만 교수] 과학기술정보통신부(장관 유영민, 이하 과기정통부)와 정보통신기술진흥센터(센터장 석제범, 이하 IITP)는 지난 4.3(수) 2019년도「SW스타랩」지원 대상에 우리 전산학부 - 이동만 교수 연구실이 SW기초·원천기술 연구의 장, SW스타랩 지능형 SW분야에 - 최성희 교수 연구실이 알고리즘 분야에 선정되었다. SW 스타랩은 빅데이터/데이터베이스, 지능형 소프트웨어, 분산컴퓨팅, 알고리즘, 사용자인터페이스 등 5대 전략 소프트웨어 분야의 기초‧원천기술 확보와 글로벌 소프트웨어 경쟁력을 주도할 석‧박사급 인재양성을 지원하는 사업이다. 금번 선정된 「SW스타랩」7개의 연구실 중 한국과학기술원(KAIST) 연구실 3곳, 서울대 연구실 2곳, 대구경북과학기술원(DGIST) 연구실 1곳, 경희대 연구실 1곳으로 선정되었다. 선정된 연구실은 향후 최장 8년 (4＋4년), 연 3억원의 사업비를 지원받아 세계적인 수준의 결과물을 개발하게 되며 이를 대중에 공개해 사용, 복제, 수정을 허용하는 공개SW 방식을 채택해 결과물의 활용도를 높이고 있다. 이동만 교수 연구실에서는 스마트 공간에서 존재하는 IoT 기기들이 실시간으로 변하는 상황을 인지하고 자율적으로 협업하여 최적의 서비스를 지원하기 위한 핵심 요소 기술들을 도출하고 이를 해결하는 연구를 진행하게된다. 나아가 개발한 원천 기술의 활용도를 높이기 위해 오픈 소스화하여 학계와 산업계에 공개할 예정이며 최성희 교수 연구실에서는 3차원 기하모델 프로세싱 알고리즘과 프레임워크를 연구 개발하게 된다.

KAIST 전산학부, 우수 외국인 대학생 대상 KAIST SoC Camp 진행

KAIST 전산학부가 지난 1월 8일에 우수 외국인 대학생들 대상으로 3박 4일 동안 KAIST SoC Camp를 본원에서 진행했다. 이기혁 (총괄), 현순주, 오혜연, 황성주, 배두환, 최호진 교수가 함께 캠프를 기획하고 진행했다. 캠프 참가자는 세계 곳곳에서 지원한 4000명이 넘는 지원자 중 아시아권 10개국(인도네시아, 말레이시아, 필리핀, 베트남, 방글라데시, 인도, 파키스탄, 캄보디아, 미얀마, 카자흐스탄)에서 학부생(3, 4학년) 30명을 선발했다. 인도의 Indian Institute of Technology Bombay (IITB)와 같이 QS Asia University Rankings에서 높이 평가되는 대학 소속 지원자들 위주로 뽑았고, 전공, 학점, 자기소개서 등을 추가적인 기준으로 삼았다. 캠프 프로그램은 크게 5가지(팀 프로젝트, 초청 강연, 연구실 포스터 세션, ETRI, Golfzon 방문, 서울 투어)로 구성되었고, 참가자들이 카이스트와 한국을 충분히 경험할 수 있도록 기획되었다. 참가자들은 팀 프로젝트 시간에 배정된 팀원들과 함께 주도적으로 스타트업 애플리케이션을 기획하고 발표했다. 초청 강연 때는 초청받은 카이스트 전산학부 교수 5명(김민혁, 권영진, 황성주, 김주호, 차미영 교수)의 특별 강연을 들을 수 있었다. 연구실 포스터 세션은 카이스트 전산학부에서 진행되는 연구에 대해 배울 수 있는 시간이었다. 각 연구실의 대표 대학원생이 포스터와 함께 연구실과 진행되고 있는 연구를 소개했다. ETRI에서는 정보통신체험관 견학을 했고, Golfzon에서는 조이마루 견학 및 시뮬레이션 골프 체험을 했다. 마지막 날 진행된 서울 투어에서는 경복궁, 인사동, N서울타워를 방문했다. 2019 KAIST SoC Camp는 크게 두 가지를 목적 삼아 진행됐다. 첫째는 상대적으로 교육/연구 인프라가 낙후됐으나 우수한 인력을 보유하고 잠재력이 큰 외국 대학들과의 협력관계를 형성함으로써, 대학 연구실 간 공동 연구의 토대를 마련하고 미래 연구를 선도하는 국제적 리더십 구실을 하는 것이다. 둘째는 국내 인구의 지속적인 감소로 인해 같은 수준의 우수 대학원생들을 모두 국내에서 선발하기는 어려워질 것으로 보이는 상황을 고려하여, 우수 외국인 학생을 영입하는 시스템을 구축하는 것이다. 캠프를 통해 카이스트의 생활, 교육, 연구 시설을 체험한 참가자가 본교로 돌아가 카이스트 대학원을 직간접적으로 홍보하는 효과를 기대하고 있다. 또한, 올해 처음 진행된 캠프가 카이스트 전산학부를 경험할 수 있는 좋은 수단으로 자리잡혀 외국인 대학생들에게 효과적으로 홍보하는 프로그램으로 성장하길 기대하고 있다. 실제로 대학원 입시 정보를 공유받은 캠프 참가자 중 카이스트 대학원 진학을 새롭게 계획하게 된 학생들이 여러 명 확인됐다. 그림 1. 개회식 (김명호 학부장) 그림 2. 팀 프로젝트 시상식 그림 3. 초청 강연 (차미영 교수) 그림 4. 연구실 포스터 세션 그림 5. ETRI, Golfzon 방문 그림 6. 서울 투어 캠프 홈페이지: http://soccamp.kaist.ac.kr/ 캠프 페이스북 페이지: https://www.facebook.com/KAIST.SoC.Camp/

AI로 감정까지 읽는다...KAIST, 행동과 생체신호로 감정 인과관계 읽는 알고리즘 개발

<조성호 KAIST 전산학부 교수(사진 왼쪽), 김병형 연구교수> 우리 전산학부 조성호 교수와 김병형 연구교수 팀의 "생체 신호를 딥러닝 기술로 분석하는 감정 파악 시스템, 감정과 행동을 연계해서 사람 감정과의 인과관계를 나타내는 수식화 알고리즘을 개발"과 관련한 전자신문 3월 27일자 기사입니다. 기사 원문보기

의료인공지능 개발 콘테스트 AI HeLP Challenge에서 Cardiac Segment..

KAIST 전산학부 박사과정 전태준, 석사과정 이나경(지도교수 김대영) 학생이 지난 3월 13일 서울아산병원에서 열린 보건복지부 및 서울아산병원 주관 2018 의료인공지능 개발 콘테스트 AI HeLP Challenge 성과발표회에서 심장 CT에서 right & left ventricle chambers, left ventricle myocardium, and papillary muscle을 자동으로 분할하는 부문에서 1위를 수상하였으며 성과 발표회 우수 발표로 우수상을 수상하였다.

강지훈 교수 부임 안내

우리 전산학부에 2019년 2월 27일부로 강지훈 교수님께서 부임해 오셨습니다. 강지훈 교수는 2019년도에 Seoul National University 에서 박사학위를 받았으며 전공은 Concurrency, Parallelism, Programming Languages, Verification 으로 자세한 이력은 아래와 같습니다. https://cs.kaist.ac.kr/people/view?idx=590&kind=faculty&menu=160 부임을 진심으로 축하 드립니다

2019년 과학문화전시서비스 역량강화 워크샵 개최

KAIST 스마트과학관 전시기술연구단은 지난 2월 21일-22일 과학문화전시서비스 상반기 워크샵을 제주도 서귀포 하이얏트 호텔에서 개최했다. 과학문화전시서비스사업은 한국연구재단에서 지원하는 사업으로 2018년도에 시작하였다. 총 15개의 연구팀으로 구성된 스마트과학관 전시기술 연구단은 카이스트에서는 3개의 연구팀이 참여하고 있다. 전산학부에서는 한동수 교수(연구단장), 박진아교수, 이기혁 교수가 참여하고 있고 산업디자인 학과에서는 이우훈 교수가 참여하고 있다. 이번 워크샵에서 15개 연구팀의 연구책임자 및 실무자, 공동연구기관, 국립중앙과학관 연구팀, 국립대구과학관 전시본부 관계자들이 참여하여 각 연구팀의 2019년 연구계획을 발표하고 지난 2018년도 연구성과를 되돌아보는 시간을 가졌다. 워크샵에서는 이정모 ‘서울시립과학관’ 관장, 곽수진 ‘더 쉐이크 크리에이티브’ 대표, 권기균 ‘과학관과 문화’ 대표가 참석하여 과학문화전시에 대해 강연하는 등 다채롭게 진행되었다. 또한 과학문화전시서비스 역량강화지원사업의 자문위원들과 15개 연구팀의 연구책임자가 함께하는 합동 자문회의도 개최되었다. 한동수 교수는 “이번 워크샵은 다양한 연구 교류를 통해 정보를 교환할 수 있어 좋았다. 한국 과학문화전시서비스의 전시 역량을 강화할 수 있는 힌트를 얻을 수 있는 좋은 자리였다.”라고 말했다.

류석영 교수 우수강의대상, 김주호 교수 우수강의상 수상

지난 2월 18일 개교 48주년을 기념하여 시행한 우수교원 포상에서 전산학부의 류석영 교수가 우수강의대상을, 김주호 교수가 우수강의상을 수상했다. 류석영 교수의 포상금 500만원과 장병규 동문의 매칭 장학금 500만원을 전산학부 장학기금으로 기부하였다. 수상을 축하드립니다.

김광조 교수 IEEE Trans. on Dependable and Secure Comput..

전산학부 정보보호대학원 김광조 교수는 정보보호에 관한 국제 우수 저널인 IEEE Trans. on Dependable and Secure Computing에 편집자로 선정되었다. 본 저널은 신뢰할 수 있고 보안성을 제공하는 시스템과 네트워크에 관한 설계, 모델링, 및 평가 기법에 대한 기초 이론, 설계 방법론, 매커니즘에 관한 최신 연구 결과를 발간하는 격월지 저널로 Impact Factor가 2.926이고 H-Index가 56인 세계 우수 저널로, IEEE Computing Society가 주관하는 17개 저널 중 하나이다. 김 교수는 1982년부터 정보보호와 암호에 관한 연구에 종사한 국내 제 1 세대 암호학자로서 그 동안 우수한 연구 실적과 국제적인 지명도를 인정받아 편집자로 선정되었으며, 현재 세계암호학회(IACR) 석학회원이다. 관련 웹 페이지 https://www.computer.org/web/tdsc/about Aims & Scope of the Journal IEEE Transactions on Dependable and Secure Computing (TDSC) publishes archival research results focusing on research into foundations, methodologies, and mechanisms that support the achievement–through design, modeling, and evaluation–of systems and networks that are dependable and secure to the desired degree without compromising performance. The focus also includes measurement, modeling, and simulation techniques, and foundations for jointly evaluating, verifying, and designing for performance, security, and dependability constraints. The IEEE Computer Society sponsors more than 200 technical conferences and events each year, including the industry-oriented "Rock Stars" series, all over the world, aimed at research and industry professionals. Our publications are peer-reviewed, indexed, and authored by technology thought leaders worldwide, and include 17 scholarly journalsand 13 magazinesfeaturing the latest technology trends

KSC2018(Korea Software Congress 2018) 수상

지난 2018년 12월 19일(수)~21일(금), 평창 휘니스파크에서 진행된 KSC2018(Korea Software Congress 2018)에서 우리 전산학부 학생들이 아래와 같이 우수논문상과 학부생/주니어 논문 경진대회에서 최우수 2건, 우수 4건, 장려 1건을 수상했습니다. 수상을 진심으로 축하드립니다.

Amazon AWS AI Startup 챌린지 수상 및 데이터 사이언스 인재 배출

KAIST 전산학과 박사과정 학생들이 모여 창업한 프로그래밍 교육 스타트업 엘리스가 지난해 아마존에서 주관하는 AWS AI Startup Challenge에서 수상하고 데이터 사이언스 교육 운영을 통해 관련 분야 인재 80여 명을 배출하는 등 주요 성과를 내며 에듀테크 분야에서 두각을 나타냈다. 엘리스는 기업이나 교육기관에서 대규모 전산교육을 효과적으로 관리하고 운영하기 위한 온라인 프로그래밍 교육 플랫폼을 운영하고 있다. 현재 별도의 ide없이 온라인에서 바로 코딩 가능한 환경과 교수자가 의도한 채점 코드를 적용한 자유자재의 코드 평가 시스템, 부정행위(cheating) 방지 시스템, 페어 프로그래밍(pair-programming) 등을 도입한 온라인 코딩 플랫폼을 주요 서비스로 제공하고 있다. 그 기술력을 인정받아 지난해 인공지능 딥러닝 분야의 선도적인 기술 및 서비스를 운영하는 국내 스타트업을 겨루는 대회인 AWS AI Startup Challenge에 참가하여 수상하였다. 또한 2017년부터 운영해온 인공지능 데이터 사이언스 분야 인재 집중 양성 프로그램 통해 지난해 80여 명의 관련 분야 인재를 배출해냈다. 이 프로그램의 교수진은 KAIST 및 국내 인공지능 분야 최고의 석학들로 구성되어 있으며 학생들의 프로젝트를 소개하는 데모데이에는 카카오, 네이버, 삼성전자, LG전자 등 국내 주요 IT 기업과 배달의민족, 크몽, 레이니스트 등 유수의 스타트업을 초빙하여 네트워킹 장을 마련하는 것이 특징이다. 이 프로그램에 참여한 삼성전자 박진우 엔지니어는 “생각보다 학생들의 결과물이 뛰어났으며 채용으로 연결된다면 회사에도 좋은 기회라고 생각한다”라고 말했으며 한 수료생은 “기업 실무자와 인터뷰를 통해 진로에 대한 조언을 구할 수 있어서 뜻깊다”라며 소감을 밝혔다. 이 프로그램은 역대 수료생들이 네이버, 엔씨소프트, 카카오, PUBG 등의 주요 IT 기업에 취업한 사례를 만들어내며 4차 산업혁명 시대에 증가한 빅데이터 분야 인재에 대한 니즈(Needs)를 채우는 역할을 수행하고 있다. 엘리스 관계자는 더욱 더 원활한 프로그래밍 환경을 만들기 위해 기술 개발에 힘쓸 것이며 4차 산업혁명 시대에 발맞춰 원하는 누구나 코딩 교육을 받을 수 있도록 진입 장벽을 낮추고 테크 기업에서 필요로 하는 기술력을 갖춘 인재 양성을 위한 커리큘럼 개발에 힘쓸 것이라며 추후 계획을 밝혔다. 엘리스는 현재 KAIST, SK텔레콤, 삼성 등 국내 주요 대학 및 기업에서 활발히 이용하고 있으며 최근 알토스벤처스로부터 시리즈A 투자를 유치한 바 있다. [참고] 데이터 사이언스 교육에 참여한 학생들 프로젝트 내용 홍보 영상 - https://www.youtube.com/channel/UCTok20p3EzAjTJWV8SJM9Gw/videos 엘리스 아카데미 웹사이트 - https://academy.elice.io/ 엘리스 소개 웹사이트 - https://elice.io/ [관련 기사] <데이터 사이언스 프로그램> 전자신문 - http://www.etnews.com/20180925000025 이뉴스투데이 - http://www.enewstoday.co.kr/news/articleView.html?idxno=1233222 뉴스웍스 - http://www.newsworks.co.kr/news/articleView.html?idxno=217042 <투자 유치> 아시아 경제 - http://view.asiae.co.kr/news/view.htm?idxno=2018081309264279730 한국 경제 - http://news.hankyung.com/article/201808135770j

정보보호대학원 소프트웨어 보안 연구실 발전기금 기부

우리 학교 전산학부의 정보보호대학원 소프트웨어 보안 연구실(지도교수 차상길)이 발전기금 280만 원을 학과에 전달했다. 소프트웨어 보안 연구실은 지난 11월 진행된 정보보호 R&D 데이터챌린지 대회(datachallenge.kr)의 취약점 자동 탐지 부문에 참가하여 우승을 차지하였다. 대회에 참가한 김수민, 한형석, 최재승 (이상 정보보호대학원 박사과정), 김홍식, 오동현, 정민규 (이상 정보보호대학원 석사과정), 그리고 차상길 교수는 상금으로 수여받은 280만원을 전산학부의 발전에 기여하기 위해 기부한다고 밝혔다. 팀 대표 최재승 학생은 "대회에서 좋은 결과를 거둔 바탕에는, 연구를 위해 지원해 준 학교 및 학과의 도움이 있었다고 생각한다"며, "지금까지 받은 지원을 우리들도 후배들에게 조금이나마 돌려주고자 하는 마음에서 팀 전원이 기부를 결정하게 되었다"고 밝혔다.

김대영 교수, 정부혁신 유공자 포상, 국무총리 표창 수상

KAIST 전산학부 김대영 교수는 정부혁신 유공 포상에서 국무총리 표창을 수상했다. 정부 공공데이터전략위원회 산하 신산업전문위원회 위원장으로서 스마트시티, 자율주행차등 신산업 분야 데이터 발굴 및 개방에 기여한 업적을 주요 공적을 인정 받았다. 김대영 교수는 데이터 공학 및 응용 연구실과 Auto-ID Lab, 사물인터넷(Internet of Things) 국제공동연구소를 운영하고 있다. 연구 분야는 사물인터넷, 기계학습 및 빅데이터 분석, 커넥티드 카 분야이며, 사물인터넷 세상에서 발생하는 데이터를 수집, 가공, 공유 및 분석하기 위한 사물인터넷 국제 표준 플랫폼인 Oliot(http://www.oliot.org) 오픈소스 프로젝트의 개발을 주도하고 있다. 국제 표준 기구인 GS1(http://gs1.org) 과 미국, 유럽, 중국, 일본 등지의 다양한 국제 연구 파트너들과 공동 연구를 진행하고 있다. 연합뉴스: https://www.yna.co.kr/view/PYH20181226167600013?section=search

차미영 교수 IBS CI(Chief Investigator) 선정

기초과학연구원(IBS)이 기초과학분야의 새로운 영역을 개척하고 도전적인 독립연구를 수행할 3명의 CI(Chief Investigator)로 엄상일 교수(42세․KAIST), 김호민 교수(40세․KAIST), 차미영 교수(39세․KAIST)를 선정했다. CI 제도는 세계적 연구기관의 연구책임자와 대등한 젊은 연구자가 독립적인 연구를 할 수 있도록 지원한다. CI로 선정된 연구책임자는 RRC(Pioneer Research Center) 내 독립적인 연구그룹을 구성한다. PRC는 IBS 연구단의 한 종류이며 그룹별로 10~15억의 연구비가 5년간 지원된다. 이 중 우리 전산학부 차미영 교수는 데이터사이언스 연구그룹을 맡아 내년 1월 1일부터 연구를 시작하며, 거대한 네트워크로 연결된 현대 정보화 사회에서 나타나는 문제를 분석하고 해결하는데 필요한 데이터 사이언스 연구를 진행할 예정이다. 차 교수가 주목하는 계산사회과학은 인간․사회 시스템 모델링과 분석을 기반으로 미래사회에 큰 영향을 끼칠 잠재력이 큰 분야다. 차 교수는 “빅데이터에 기반한 가짜 뉴스의 탐지를 비롯하여 중요한 미래예측기술을 개발하고 또한 해석 가능하고 공정성을 지니는 인공지능을 연구하여 사회에 기여할 것”이라며 목표를 밝혔다. http://www.edaily.co.kr/news/read?newsId=01666246619434584&mediaCodeNo=257&OutLnkChk=Y

KAIST, 차세대 바이너리 분석플랫폼 B2-R2 기술 개발

한국과학기술원(총장 신성철) 전산학부 차상길 교수와 랩 학생들은 지난 3년간 사이버보안연구센터(센터장 전기및전자공학부 교수 김용대)와 함께 인공지능기술을 활용한 바이너리 코드의 취약점 분석 및 탐지 시스템에 대한 기술인 일명 B2-R2를 개발하였다. B2-R2는 과학기술정보통신부 연구과제인 ‘바이너리 코드 분석을 위한 자동화된 역공학 및 취약점 탐지 기반 기술 개발’의 성과 시스템으로 ▲소프트웨어 보안취약점 분석 ▲악성코드 분석 ▲난독화 해제 ▲보안 패치 ▲익스플로잇 자동 생성 등 다양한 컴퓨터 보안 분야에 활용할 수 있는 핵심 원천 기술이다. B2-R2 시스템은 해외에서 개발된 바이너리 분석시스템과 비교하여 ▲시스템의 활용성(Windows, Linux, Mac, 안드로이드, iOS등 모든 운영체제에서 사용가능)이 높으며 ▲최소 2배에서 100배에 이르는 분석 속도를 가지고 있으며 ▲최신 함수형 언어인 F#을 사용하여 분석의 용이성을 극대화 하였고 ▲32개의 프로그래밍 언어와의 연동을 할 수 있는 다양성을 가지고 있다. 이는 국내 최초의 바이너리 코드 분석 시스템일 뿐 아니라 해당 분야를 선도하는 미국 카네기멜론 대학의 BAP, UCSB의 Angr등을 뛰어넘는 분석시스템이라 할 수 있다. 지난 12월 4일 ‘차세대 바이너리 분석 플랫폼 B2-R2 기술설명회’를 통해 알려진 바이너리 분석 기술의 중요성은 지난 2016년 미(美) 국방성(DARPA) 주최로 개최된 세계 최초의 컴퓨터 간 해킹 공격·방어 대회(Cyber Grand Challenge, CGC)를 통해 널리 알려지기 시작했다. 해당 대회는 악성코드, APT공격, DDoS 공격 등 다양한 보안 위협이 인간 해커에 의해 이루어지고 있는 현 상황에서, AI 기반의 기계 해커가 출현할 수 있음을 알리는 신호탄이 되었으며, 4차 산업혁명의 정보보호 패러다임 변화를 준비하는 핵심기술로 이해할 수 있다. 차상길 교수는 미국에서 열린 CGC대회의 우승 시스템인 메이헴(Mayhem)의 핵심 엔진을 설계한 주 저자로 알려져 있으며, 지난 11월 30일에 열린 CGC의 한국판 대회인 '2018년 정보보호 R&D 데이터 챌린지 AI기반 취약점 자동탐지'분야에서 압도적인 점수차로 우승을 차지하기도 했다. 해당 대회에서 사용한 시스템의 중심에는 차상길 교수가 KAIST 학생들과 3년간 직접 개발한 B2-R2 기술이 있다고 알려졌다. 이번 기술 설명회와 국내 관련 대회 결과를 통해서 우리나라에서도 세계 최고 수준을 넘어서는 ‘AI기반의 취약점 자동 탐지 및 대응’ 분야의 핵심 기술을 KAIST 차상길 교수 연구팀이 확보한 것으로 정보보호 전문가들은 평가하고 있다.

KAIST 전산학부 학사과정 홍재민, APLAS 2018 국제학회에서 Student Res..

KAIST 전산학부 학사과정 홍재민(지도교수 류석영) 학생이 지난 12/3-5일 뉴질랜드 웰링턴에서 열리고 KAIST가 지원한 국제학회인 APLAS (Asian Symposium on Programming Languages and Systems) 2018에서 대학원생들과 함께 참여한 Student Research Competition에서 ‘Path Dependent Types with Path-Equality’에 관한 논문으로 2등상을 수상했다. 홍재민 학생은 지난 9/28일 미국 세인트 루이스에서 열린 ACM SIGPLAN Symposium on Scala, 2018에서 이 논문을 발표했다.

KAIST 전산학부 박사과정 이성호, OOPSLA 2018 국제학회에서 우수 AE 리뷰어상..

KAIST 전산학부 박사과정 이성호(지도교수 류석영) 학생이 지난 11/7-9일 미국 보스턴에서 열린 전산학부 S급 국제학회인 OOPSLA (Object-Oriented Programming, Systems, Languages, and Applications) 2018에서 Artifact Evaluation의 리뷰어 중 우수 리뷰어로 선정되어, Distinguished Artifact Evaluation Committee Member Award를 수상했다.

APLAS 2018 국제학회 개최 (KAIST 후원, 류석영 교수 Program Chair..

KAIST가 Gold Sponsor로 지원한 국제학회인 16번째 APLAS (Asian Symposium on Programming Languages and Systems)가 2018년 12월 3일-5일 뉴질랜드 웰링턴에서 개최되었다. KAIST 전산학부의 류석영 교수가 프로그램 체어로 세계적 연구자인 Amal Ahmed (Northeastern University, USA), Azalea Raad (MPI-SWS, Germany), Bernhard Scholz (University of Sydney, Australia) 세 강연자를 초청하고, 2박 3일간 논문 발표와 포스터 세션, 12월 2일, 12월 6일의 웍샵까지 다양한 프로그램을 진행하였다.

NAVER Phd Fellowship 선정

지난 11월 우리 전산학부 박사과정 10명이 NAVER Phd Fellowship에 선정되었다. 선정자는 - 공태식(지도교수: 이성주) - 권 현(지도교수, 윤현수) - 김형규(지도교수: 김순태) - 남재현(지도교수: 신승원) - 박준영(지도교수: 류석영) - 박진석(지도교수: 이흥규) - 장영수(지도교수: 김기응) - 전석준(지도교수: 김민혁) - 정대룡(지도교수: 신인식) - 하재희(지도교수: 김명철) 총 10명으로 NAVER PhD Fellowship프로그램은 전산 각 분야의 top-tier 컨퍼런스/저널에 제1저자논문을 제출한 박사과정 학생을 선발하여 장학금을 지급하는 프로그램이다. 네이버사는 NAVER Phd Fellowship 2015년 8명, 2016년 1차 6명, 2차 8명, 2017년 11명, 2018년 10명을 선정했으며 총 2억 3천 5백만원을 선정된 학생들에게 지급하였다.

‘K-ICT 클라우드 산업대상’ 수상

27일 서울 코엑스에서 열린 ‘2018 그랜드 클라우드 컨퍼런스’에서 우리 전산학부에서 사용중인 클라우드 구축 및 운영 사례로 ‘2018 K-ICT클라우드 산업대상’(장관상)을 수상했다. 본 수상은 클라우드 운영시스템을 유휴 장비에 구축하여 동시 기준 300 VM이상을 지속적으로 정규 교과목 및 연구과제를 위해 컴퓨팅을 제공한 사례와 오픈소스인 오픈스택을 활용한 운영시스템으로 적용한 사례를 우수 사례로 인정받았다. 한편, ‘2018 그랜드 클라우드 컨퍼런스’는 국내 클라우드 산업의 성과를 정리하고 향후 발전 방향을 공유하는 클라우드 전문 컨퍼런스로 공공 및 민간부문 클라우드 도입과 융합에 대해 논의하는 자리이다.