신인식 교수, ACM MobiCom 2019 Best Paper Award 수상

KAIST 전산학부 신인식 교수 연구팀, ACM MobiCom 2019 국제학회에서 Best Paper Award 수상 KAIST 전산학부 신인식 교수 연구팀은 10월 21-25일 멕시코 로스 카보스에 열린 ACM MobiCom (The 25th Annual International Conference on Mobile Computing and Networking) 2019 국제학회에서 “FLUID: Flexible User Interface Distribution for Ubiquitous Multi-device Interaction” 논문으로 ‘최우수 논문상(Best Paper Award)’을 수상했다. KAIST 전산학부 신인식 교수 연구팀은 10월 21-25일 멕시코 로스 카보스에 열린 ACM MobiCom (The 25th Annual International Conference on Mobile Computing and Networking) 2019 국제학회에서 “FLUID: Flexible User Interface Distribution for Ubiquitous Multi-device Interaction” 논문으로 ‘최우수 논문상(Best Paper Award)’을 수상했다. ACM MobiCom 국제학회는 모바일 통신 및 컴퓨팅 분야에서 세계 최고 권위의 학회이며, 이 학회의 25년 역사 사상으로 처음으로 한국 주관기관에서 수상했다. 최근 모바일 및 IoT 트렌드는 다양한 스마트 기기의 등장이다. 초고속 5G 등장 뿐만 아니라, 듀얼스크린폰 및 폴더블폰 등 새로운 스마트폰 디스플레이의 출현, 그리고, 스마트 워치, 스마트 TV 및 스마트 자동차 등 다양한 스마트 기기들이 속속 출시되고 있다. 그러나, 현재의 모바일 앱 개발 및 사용은 단일 기기 (single-device) 모델에 국한되어 있어, 새로운 트렌드가 제공하는 다중 기기 (multi-device) 잠재성을 제한하고 있다. 본 연구팀은 이러한 고정 관념 및 기술적 한계를 타파하며, 새로운 다중 기기 패러다임을 제시하는 모바일 SW 플랫폼 기술 “FLUID”를 개발하였다. 이 논문의 제1저자인 오상은 박사과정 학생은 단일 기기 가상화 (virtualization) 기술을 핵심 기반 기술로 소개하며, FLUID를 통해 개별 앱의 UI(사용자 인터페이스, User Interface) 요소들을 사용자가 원하는 대로 여러 기기에 배치할 수 있으며, 이미 시판중인 기존 모바일 앱을 수정하거나 재개발하지 않아도 다중 기기 환경에서 새로운 형태로 앱을 사용할 수 있다고 밝혔다. 미국 버팔로 대학교 Steve Ko 교수와 공동 연구로 진행된 이 연구는 10월 22일 ACM MobiCom 2019 국제 학회에서 발표되었으며, 현장 기술 시연을 통해 다양한 다중 기기 사용 시나리오들을 선보였다. 신인식 교수는 "제안하는 FLUID 플랫폼이 가지는 높은 유연성과 범용성은 현재 단일 기기 패러다임에서 새로운 다중 기기 패러다임으로 전환하는 것을 가속화할 것으로 기대하며, 이러한 패러다임의 전환은 지금껏 생각할 수도 없었던 새로운 형태의 앱 활용을 가능케 할 것이다"고 밝혔다.

김민혁 교수, CAD／Graphics 2019에서 기조강연

김민혁 교수, CAD/Graphics 2019에서 기조강연 KAIST 전산학부 김민혁 교수는 지난 5월 5~6일 중국 청도에서 개최된 Computer-Aided Design and Computer Graphics (CAD/Graphics) 2019에서 “Beyond Human Vision - Seeing More with Camera” 주제로 기조강연을 하였다. 김민혁 교수는 기조강연에서 압축 초분광 이미징의 기초에 대해서 설명하고 정확하면서도 실용적인 소형의 초분광 이미징 카메라 연구와 관련해서도 이야기했다.

신성용 교수, Lifetime Achievement Award 수상

신성용 명예교수님, AsiaGraphics Lifetime Achievement Award 수상 KAIST 전산학부 명예교수 신성용 교수님께서 그래픽스 분야에서 뛰어난 리더십과 기여로 이번 Pacific Graphics 2019에서 AsiaGraphics Lifetime Achievement Award을 수상하셨습니다. 신성용 교수님는 서울대학교의 김명수 교수님과 함께 Pacific Graphics의 창립자이기도 합니다. 축하드립니다！

중앙대, 김진형 前인공지능연구원장 석좌교수 초빙

우리 전산학부 김진형 명예교수의 중앙대 석좌교수 초빙관련 기사입니다. 연합뉴스 (2019.09.04) 에듀인뉴스(2019.09.04)

카이스트, 독일 사이버 보안 분야와 MOU 체결

KAIST(총장 신성철)는 8월 28일 수요일(현지시각) 오전 9시에 독일 자르브 뤼켄에서 독일 정보보안센터(CISPA(Helmholtz Center for Information Security))와 KIST 유럽연구소와 같이 국내 대학 중 최초로 정보보호 관련 협력과 공동 목표에 관해서 MOU를 체결했다. KAIST, CISPA, 그리고 KIST 유럽은 이날 협약체결을 통해 ▲공동 프로젝트 추진 ▲시스템 보안, 웹 보안, 암호학 등 분야 관련 협력 ▲ KIST 유 럽의 테스트베드 플랫폼 공동사용 등 다양한 분야에서 협력하기로 했다. 독일의 CISPA는 2018년 헬름홀츠(Helmholtz) 연구협회 연구센터로 선정되 었다. 헬름홀츠 연구협회는 독일 최대의 연구기관이며 연간 439억 유로 예 산을 투입하고 있다. 2018년 2월 헬름홀츠 연구협회는 CISPA를 협회 최초 로 IT분야를 수행하는 대형연구센터로 출범, 2026년 최소 500에서 800명 연구인력을 지닌 대형연구센터를 목표로 발돋움 중이다. 현재, CISPA는 최 근 4년동안 정보보호 분야의 TOP 4 국제학회에서 세계 최고의 연구 실적 을 올렸고(csrankings.org 기준 세계 1위), 매년 500억원(원화 기준)이 넘는 연구비를 헬름홀츠 연구협회에서 지원을 받고 있다. 28일(현지시각) MOU 행사와 더불어, 독일 대사관에서 개최한 한독 사이버 보안 세미나를 통해 세계 최고 수준의 보안 분야 기술을 소개하는 시간을 가졌다. 특히, 오후에 개최된 “데이터 보호, 웹 보안, 시스템 보안을 위한 연구자들(워크숍)”에서는 신인식, 강병훈, 손수엘 교수 등이 KAIST를 대표 해서 각각 시스템 보안 및 웹 보안 내용을 발표하며, CISPA와 공동 협업 주제를 구체화하였다. 향후, KAIST 정보보안대학원은 이번 MOU 참여 기관들과 같이 공동 프로 젝트, 세미나 및 인턴십 등을 추진할 예정이다. 이를 통하여 공동 기술개 발, 인력양성 및 산학협력 등에 이바지하여 세계 최고 수준의 대학원으로 거듭 발전할 계획이다. 이날 행사에는 KAIST 정보보호대학원 신인식 책임교수, CISPA 마이클 벡 키스 소장, 김준경 KIST 유럽연구소장 등이 참석해서 MOU에 서명했다.

KAIST 전산학부 졸업 허성국박사, 미 버지니아 대학교 (University of Vir..

KAIST 전산학부에서 2017년 박사학위를 받고 현재 토론토 대학교 (University of Toronto) 에서 박사 후 연구원으로 근무 중인 허성국박사(지도교수 이기혁)가 2019년 8월 12일부로 미 버지니아 대학교 (University of Virginia) 전산학과 (Department of Computer Science) 조교수로 임용되었다. 허성국박사는 인간과 컴퓨터 간의 상호작용 방법 및 이를 지원하기 위한 입출력 기술에 관한 연구를 진행하여 왔으며, CHI, UIST, CSCW 등 HCI 분야의 최고 학회와 IEEE Transactions on Haptics 등의 학술지에 연구 결과를 발표해 왔다. 이와 같은 연구 성과에 기반하여 허성국박사는 2016년 네이버 Ph. D. 펠로우십도 수상하였다.

KAIST, 개발기간 줄여줄 새로운 프로그래밍 방법론 도출

우리 전산학부 류석영 교수의 자바(Java) 개발을 주도한 가이 L 스틸 주니어 미국 오라클 랩 박사와 프로그래밍 언어 '포트리스' '스칼라'의 새로운 '타입 시스템'을 정의하고, 이를 수학적으로 증명하는데 성공한 기사입니다. 기사보기

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

우리 대학 전산학부 문수복 교수가 과학기술정보통신부의 한국연구재단 과제에 선정되어 지난 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위에 랭크되어 있다.

정보보호대학원 손수엘 교수 국제우수학회 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개의 논문 중에 하나로 선정되었다.

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

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

이동만, 최성희 교수 연구실 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차원 기하모델 프로세싱 알고리즘과 프레임워크를 연구 개발하게 된다.

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

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

강지훈 교수 부임 안내

우리 전산학부에 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

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

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 차상길 교수 연구팀이 확보한 것으로 정보보호 전문가들은 평가하고 있다.

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일의 웍샵까지 다양한 프로그램을 진행하였다.

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

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

박진아 교수 International Conference on Medical Imaging..

KAIST 전산학부 박진아교수는 지난 10월 26~28일 미국 볼티모어에서 개최 된 International Conference on Medical Imaging and Case Reports 2018에서 “Hippocampal Morphology Study based on Progressive Template Deformable Model” 주제로 기조강연을 하였다. 이번 행사에는 23개국의 48기관에서 70여명이 참석하였고, 기조강연자로 Harvard Medical School의 Martha Shenton 박사, MIT의 Polina Golland 교수, Johns Hopkins University의 Michael Miller, Jeffery Siewerdsen 교수 등 특히 의료영상과 임상분야에서 영향력이 있는 연구를 하고 있는 연구자들이 다수 초청된 행사였다.

KAIST 전산학부 유신 교수, 소프트웨어 공학 분야에서 가장 영향력있는 신진 연구자 15..

전산학부 유 신 교수가 소프트웨어 공학 분야에서 가장 영향력 있는 신진 연구자 15명 중 한 명으로 선정되었다. 이 결과는 Journal of Systems and Software 학술지에 2018년 10월에 발표된 SE분야 문헌 연구(Karanatsiou et al., https://doi.org/10.1016/j.jss.2018.10.029)에 따른 것으로, 2010년부터 2017년 사이 우수 저널 및 학회에 발표된 14,456편의 논문 및 피인용지수를 바탕으로 집계되었다.

김민혁 교수, 2018 국가연구개발 우수성과 100선 선정

김민혁 교수, 2018 국가연구개발 우수성과 100선 선정 과학기술정보통신부와 한국과학기술기획평가원이 발표한 '2018년 국가연구개발 우수성과 100선'에 우리 대학 교수 6명이 선정됐다. 수상자는 신소재공학과 김일두, 박병국 교수, 의과학대학원 김호민 교수, 생명화학공학과 이재우 교수, 전산학부 김민혁 교수, 전기및전자공학부 최경철 교수이다. 전산학부 김민혁 교수는 정보·전자 분야 우수성과에 선정됐다. 극사실적 영상 획득을 위한 고성능 영상처리 기술을 개발한 성과를 인정받았다. 김일두 교수는 기계·소재 분야 최우수 성과에 선정됐다. 자기조립 유기체 복합촉매 커플링 기반의 초고감도 가스센서 플랫폼소재를 개발한 공을 인정받았다. 박병국 교수도 기계·소재 분야 우수성과에 선정됐다. 열로 스핀전류를 얻는 소재기술을 개발했다. 의과학대학원 김호민 교수는 생명·해양 분야 최우수성과에 선정됐다. 시냅스형성을 조절하는 핵심단백질의 3차 구조와 분자기전을 규명했다. 이재우 교수는 에너지·환경 분야 우수성과에 선정됐다. 이산화탄소를 원료로 한 고부가가치 탄소 물질 합성 기술을 개발한 공을 인정받았다. 최경철 교수는 정보·전자 분야 우수성과에 선정됐다. 옷 위에 구현된 부드러운 디스플레이를 개발한 성과를 인정받았다. 우수성과로 선정된 성과는 과학기술정보통신부장관의 인증서와 현판이 수여된다. 선정된 6명의 교수에게는 국가연구개발 성과평가 유공포상(훈·포장, 대통령표창, 국무총리표창 등) 후보자로 추천되고, 신규 연구개발(R&D) 과제 선정에서 우대받게 된다.

KAIST 전산학부 양은호, 황성주 교수 연구실 공동으로 NIPS 2018에 우수 논문 3..

KAIST 전산학부 양은호, 황성주 교수 연구실 공동연구로 “DropMax: Adaptive Variational Softmax”, "Uncertainty-Aware Attention for Reliable Interpretation and Prediction", “Joint Active Feature Acquisition and Classification with Variable-size Set Encoding” 세 편의 논문을 세계적으로 최우수 학회인 Neural Information Processing System (NIPS) 2018 (acceptance rate:20.8 ％) 발표했다. 발표된 논문은 다음과 같다. [DropMax: Adaptive Variational Softmax] 본 논문에서는 기존의 다중클래스 분별에 적용되는 Softmax 함수에 Dropout 테크닉을 적용하여 분별기의 성능을 향상시키는 기법을 제안하였다. 각 학습 분기 마다 전체 클래스의 부분집합이 학습된 Dropout 확률에 따라 임의로 샘플되어 분별이 수행된다. 이는 서로 다른 분별기의 앙상블이라는 의미가 있으며, 또한 서로 헷갈리기 쉬운 클래스들끼리 더 많이 비교하게 하는 효과를 가져온다. 딥 베이지안 기법을 통해 이러한 확률적인 뉴럴 네트워크의 학습과 추론이 가능하다. 특히 본 논문에서는 각 클래스 당 타겟 레이블일 확률, 즉 Dropout 마스크를 각 입력 인스턴스 별로 다르게 생성하도록 유도하고 그 값들을 정확히 추론하는 것이 성능 향상에 중요함과, 그로 인해 더 안정적인 학습과 추론이 가능함이 실험적으로 확인되었다. [Uncertainty-Aware Attention for Reliable Interpretation and Prediction] 기존의 심층 신경망은 예측 모델의 심층 학습 과정에서 불확정성을 고려할 수 없어 학습 모델이 잘못된 상황을 예측할 가능성이 존재하고, 데이터와 모델 자체에서 존재하는 불확정성으로 인해 잘못된 예측 결과가 도출되는 문제점이 있었다. “Uncertainty-Aware Attention for Reliable Interpretation and Prediction” 논문은 기존의 불확정성(Uncertainty) 문제를 극복하기 위한 방법으로 데이터와 모델 condition을 파악하여 input-adaptive한 유기적 학습이 가능한, 불확정성을 고려하는 주의 집중 메카니즘(Uncertainty-Aware Attention Mechanism, UA)을 제시하였다. 본 논문은 UA 프레임워크를 통해, 최신 기계 학습 알고리즘 성능 대비, 모델 예측 성능과 불확정성이 보정된 정확한 모델 해석 능력 능력이 비약적으로 뛰어남을 실험적으로 입증하였다. [Joint Active Feature Acquisition and Classification with Variable-size Set Encoding 본 논문에서는 병의 진단과 같이 분류 (Classification)를 함에 있어 필요한 정보를 얻는 데 비용 (예: 검사비용) 이 드는 상황에서 적은 비용으로 효과적인 정보를 얻기 위한 정책을 학습하는 문제를 다룬다. 환자들을 진단할 때 모두 같은 종류의 검사를 진행하여 진단하기 보다는 각 개인의 상태에 따라 필요한 검사를 하는 것이 합리적이라고 할 수 있다. 본 논문에서는 현재 가진 정보를 기반으로 필요한 정보를 순차적으로 결정하는 동적 피쳐 획득 정책과 분류모델을 공동 학습한다. 이를 위해, 분류성능과 정보를 얻는데 필요한 비용을 모두 고려하는 목적함수를 정의하고, 심층 강화학습을 이용한 피쳐 획득 정책과 분류 모델의 공동 학습 프레임워크를 제시하였다. 또한 합성 데이터와 의료 데이터를 이용한 실험을 통해 정적인 피쳐 획득방법이나 기존의 선행 연구에 비해 비용 효율적인 성능을 보임을 확인하였다

KAIST 전산학부 지능형서비스통합(ISI) 연구실과 글로벌 H사, 글로벌 실내위치인식 시..

전산학부 지능형서비스연구실(지도교수 한동수)이 글로벌사인 H사와 글로벌 실내위치인식 시스템 (Global Indoor Positioning System) 개발을 위한 국제 산학 프로젝트를 수행하기로 하였다. 기술이전과 함께 진행되는 이번 프로젝트를 위해 글로벌 H사는 카이스트에 40만불을 지원할 예정이다. 2014년 KAIST Indoor Positioning System (KAILOS)를 개발하여 일반에 공개하고 있는 ISI 연구실은 최근 불특정 다수의 스마트폰 사용자로부터 얻어진 무선신호의 수집위치를 자동으로 라벨링하는 크라우드소싱 AI 기법을 개발한 바 있다. 이번 국제 공동 프로젝트에서는 카이스트가 보유하고 있는 크라우드소싱을 활용한 위치 라벨링 AI 기법을 상용화 수준으로 고도화할 예정이다. 프로젝트가 성공적으로 수행되면 H사는 카이스트가 개발한 시스템을 자사의 제품에 탑재하여 상용화할 것으로 기대된다. 향후 1년 동안 진행될 H사와의 국제 산학 프로젝트를 지휘할 한동수 교수는 “카이스트가 개발한 기술이 국내 기업에 앞서 해외 기업을 통해서 상용화 시도가 이루어지게 되어서 아쉽다. 위치 서비스에 대한 국내의 규제가 지나치게 엄격하여 초래된 결과다.”라고 하였다. 또 한동수 교수는 “카이스트가 개발한 기술에 대해서 글로벌 기업이 인정하고 상용화를 위한 산학 프로젝트를 의뢰한 것은 큰 의미가 있다. 기술은 지속적으로 발전하지 않으면 쇠퇴하고 소멸한다. 향후에도 실내 위치인식 분야에서 지속적으로 국제 산학협력을 확대해 나갈 것이다.” 라고 하였다.