류석영 교수, ＜Programming＞ 2018에서 초청강연자로 기조연설

류석영 교수, 2018에서 초청강연자로 기조연설 KAIST 전산학부 류석영 교수가 2018에서 초청강연자로 “Static Analysis of Android Applications for Finding Bugs and Security Vulnerabilities”에 대해 기조연설을 하였습니다. 2018은 The International Conference on the Art, Science, and Engineering of Programming으로, 프로그래밍에 대한 다양한 이론적, 실험적, 공학적 연구 결과를 논의하는 곳입니다. 2018은 4월 9일부터 12일까지 프랑스 니스에서 열렸습니다.

KAIST ＇순차 지식＇ 정리해 주는 알고리즘 플랫폼 개발

<왼쪽부터 김주호 KAIST 전산학부 교수, 마니쉬 아그라왈라 스탠포드대 교수, 장민석 박사과정> 전산학부 김주호 교수팀과 마네시 아그라왈라 미국 스탠퍼드대 교수팀, 스위스 로잔공대 연구팀과 함께 각종 순차 지식을 정리하고 분석하는 플랫폼에 관한 기사입니다. http://www.etnews.com/20180409000376 본 연구는 오는 4월 26일 HCI 최고권위 분야 학회인 ACM SIGCHI 2018에 발표될 예정입니다. 프로젝트 웹사이트: https://recipescape.kixlab.org/

KAIST 개발 농식품 유통 관리 플랫폼, 완주로컬푸드 적용

전산학부 김대영 교수의 주도로 개발한 '올리옷(Oliot) 플랫폼'이 국내 최대 규모의 농식품 협동조합인 완주로컬푸드에 적용돼 5일부터 운용에 돌입한다는 기사입니다. http://www.etnews.com/20180403000333 http://www.kaist.ac.kr/_prog/_board/?mode=V&no=79062&code=kaist_news&site_dvs_cd=kr&menu_dvs_cd=0601&list_typ=B&skey=&sval=&smonth=&site_dvs=&GotoPage=1

신인식 교수 스마트폰 앱 신뢰성 높이는 ＇플렉스로이드＇ 기술 개발

우리 학부 신인식 교수팀이 앱에 포함된 외부 코드의 부적절한 자원 및 정보 활용을 막는 안드로이드 운용체계(OS) 기술 '플렉스로이드' 개발과 관련된 기사 입니다. http://www.etnews.com/20180302000186

류석영, 이성주, 송준화, 김민혁 교수의 연구 KAIST Breakthroughs에 선정 ..

류석영, 이성주, 송준화, 김민혁 교수의 연구 KAIST Breakthroughs에 선정 소개 류석영교수님: HybriDroid: Static analysis framework for android hybrid applications http://breakthroughs.kaist.ac.kr/?post_no=1027 이성주, 송준화교수님: Zaturi: Create an audiobook for your baby using time that slips by http://breakthroughs.kaist.ac.kr/?post_no=1029 김민혁교수님: Compact hyperspectral imaging at low cost http://breakthroughs.kaist.ac.kr/?post_no=1026 2018년 봄 KAIST Breakthroughs 선정에 다시 한번 축하드립니다.

유신 교수, Empirical Software Engineering 저널 편집위원 선임

KAIST 전산학부 유신 교수는 2018년 2월자로 Springer에서 발행하는 Empirical Software Engineering 학술지의 편집위원으로 선임되었다. Springer의 Empirical Software Engineering은 경험적, 실증적 접근 방법의 소프트웨어 공학 연구를 다루는 SCIE 학술지이다. 2016년 기준 IF 3.275, 5년 누적 IF 3.759의 높은 영향력을 자랑하고 있으며, Google Scholar 기준 Software Systems 분야의 학회 및 학술지 순위에서 12위에 랭크되어 있다.

박진아 교수 KAIST 대표 R＆D 연구성과 10선 선정

우리 전산학부 박진아 교수가 "점진적 가변형 모델에 기반한 해마 형태학 연구" 란 주제로 2017년 KAIST 대표 R&D 연구성과 10선에 선정되었습니다. KAIST 대표 R&D 연구성과 10선은 - KAIST R&D 우수성과 발굴·홍보를 통한 연구자의 연구의욕 고취 - 지속적인 Annual Report 발간과 동영상 제작을 통한 우수성과 및 핵심기술 정보 축적 - 체계적인 성과사례 관리를 통한 성과관리체계의 발전적 진화 유도 에 그 취지를 두고 있으며, 수상은 2018년 5월 중 Research Day 행사 시 시행됩니다. 수상을 축하드립니다.

김효수 박사과정, 휴먼테크 논문대상 동상 수상

지난 2월 7일 지난 2월 7일, 삼성전자 휴먼테크논문대상 Computer Science & Engineering 부분에서 KAIST 전산학부 박사과정 학생이 동상을 수상했습니다. 전산학부 박사과정 김효수·조병길 학생 (지도교수 신인식)과 CMU 박사과정 김대혁 학생으로 구성된 연구팀은 모바일 환경에서 touch sound를 활용하여 사용자 touch 위치를 찾는 기술을 개발하여 '동상'을 수상했습니다. 연구팀은 사운드 기반의 새로운 해킹 기법 및 모바일 HCI 기술을 제시한 점에서 높은 평가를 받았습니다. 논문 제목 - TapSnoop: Leveraging Tap Sound to Infer Tapstrokes on Mobile Touch-screen Devices 저자 - 김효수 (KAIST), 김대혁 (CMU), 조병길 (KAIST) 삼성전자 휴먼테크논문상은 미래 과학한국을 이끌어갈 창의적이고 도전적인 젊은이들을 발굴하고 학교 내 연구 분위기 활성화와 기술을 중시하는 사회 분위기 조성을 위해 1994년에 제정된 상 입니다. 수상을 축하드립니다. https://humantech.samsung.com/saitext/board.do

송암(松岩) 미래 석학 우수 연구상 수상

2018년도 송암(松岩) 미래 석학 우수 연구상에 우리 학부 양은호 교수가 선정되었습니다. 송암(松岩) 미래 석학 우수 연구상은 한국호머 이정우 회장의 뜻에 따라, 공과대학 소속 부임 5년 미만의 조교수 중 연구성과가 탁월한 우수 조교수를 선정· 연구활동을 독려하고자 수여하는 상으로 시상식은 제47주년 개교기념식(2018.2.12(월), 14:00) 행사에서 진행됩니다. 수상을 축하드립니다.

신인식 교수, 스마트폰 전력소모를 절반으로 줄이는 기술 개발

신인식 교수, 스마트폰 전력소모를 절반으로 줄이는 기술 개발 스마트폰 웹 브라우저의 소모 전력을 기존의 40％ 수준까지 줄일 수 있는 애플리케이션(앱) 기술이 개발됐다. 스마트폰 전력 소모량의 상당 부분을 차지하는 웹 브라우저 소모량을 줄여 배터리 사용 시간을 대폭 늘릴 수 있을 것으로 기대된다. 신인식 전산학부 교수팀이 웹 페이지 출력 프레임 수를 최적화하는 방법으로 '저전력 모바일 브라우징 기술'을 개발했다고 1월 8일자 전자신문에 밝혔다. 신 교수는 “저전력 모바일 브라우징 기술을 적용하면 소프트웨어(SW)만으로 전체 스마트폰의 전력 성능을 높일 수 있다”면서 “소모 전력 최적화에 나서는 스마트폰 제조사 및 웹 브라우저 앱 개발사에 도움이 될 것”이라고 말했다. 전자신문 기사: http://www.etnews.com/20180105000383

NLPCL＊CGV팀 (김정호, 안영진, 양원석, Fistsum Gaim) ‘KSC2017 ..

지난 12월 20일~22일 부산 벡스코에서 열린 KOREA Software Congress 2017 에서 ‘KSC2017 SW 구현/데모 경진대회’에 참가한 ‘NLPCL＊CGV’ 팀이 최우수상을 받았다. NLPCL＊CGV 팀은 NLPCL연구실 (지도교수: 박종철)의 박사과정 김정호, 양원석, Fitsum Gaim 학생과 CGV연구실 (지도교수: 박진아)의 석사과정 안영진 학생으로 구성된 팀으로 가상현실(VR) 과 인공지능(AI) 기술을 융합하여 개발한 ‘직업 환경 내 의사소통 능력 향상을 위한 가상현실 훈련 시스템 및 모바일 피드백 시스템’ 을 시연하였다. 수상을 축하드립니다.

김주연 박사과정(지도교수： 오혜연교수) 집단지성을 통한 가짜뉴스 확대 최소화 알고리즘 개발

KAIST 전산학부 오혜연 교수 연구실의 박사과정 김주연 학생이 독일 Max Planck Institute의 Manuel Gomez-Rodriguez 박사와 공동으로 연구한 가짜뉴스 확대 최소화 알고리즘이 연합뉴스, 매일경제, 전자신문 등의 기사에 게재되었다. 이 연구는 최근 중요성과 관심이 높아진 가짜뉴스에 대한 연구 중 집단지성을 이용해 확대되는 것을 최소화하는 모델링 기법에 대한 최초 연구로 2018년 2월 ACM WSDM 학회에서 발표될 예정이다. 연합뉴스 기사 링크: http://www.yonhapnews.co.kr/bulletin/2017/12/22/0200000000AKR20171222067600033.HTML 매일경제 기사 링크: http://news.mk.co.kr/newsRead.php?year=2017&no=849666 전자신문 기사 링크: http://www.etnews.com/20171224000028

ICSE 2018 논문 채택

소프트웨어 공학 분야 세계 최고 학회인 ACM/IEEE ICSE (Intl. Conf. on Software Engineering)에 우리 전산학부 김문주 교수 연구실의 논문이 채택되었습니다. 본 논문 "Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts" 은 전산학부 김문주 교수와 박사후연구원 김윤호 박사가 경북대 최윤자 교수와 같이 작성한 연구논문으로, C 프로그램의 오류를 자동으로 찾으며 거짓 경보를 최소화하는 새로운 유닛 테스트 기술을 연구한 연구논문입니다.

제 9회 머신러닝 아시아 컨퍼런스(ACML) 2017 개최

우리 전산학부 김기응 교수가 General Chair로 참여한 제 9회 머신러닝 아시아 컨퍼런스(ACML) 2017이 11 월 15 일부터 17 일까지 연세대 학교 백양 홀에서 개최하였다. 본 행사에서는 전문가와 연구자들이 머신러닝에 대한 연구 결과와 아이디어를 공유하였으며, 아시아를 넘어 전 세계적으로 머신러닝의 혁신적인 아이디어와 패러다임에 중심을 둔 제안도 함께 논의하였다. ACML은 2009년부터 다양한 산업 분야에서 중요한 역할하고 있는 머신 러닝에 대해 연구자들이 새로운 아이디어와 기술들을 공유해왔다. ACML은 2009 년부터 아시아 지역에서 시작돼 뉴질랜드, 홍콩, 베트남, 호주, 싱가포르, 대만, 일, 중국 등에서 진행됐다. 이 컨퍼런스는 과학자들이 머신러닝에 대한 지식을 폭넓게 이해하며 인사이트를 얻어 기술을 산업에 적용하는 데 기여해왔다.

CAN ＇17 at ACM CoNEXT 2017, Best Paper Award 수상

KAIST 전산학부 학사과정 신재민, 홍덕기(졸), 박사과정 우신애(졸) (지도교수 문수복) 학생이 지난 12/12일 인천 파라다이스 시티 호텔에서 열린 ‘Cloud-Assisted Networking Workshop at ACM CoNEXT 2017’ 국제학회에서 ‘고성능 컨테이너 기반 네트워크 기능 가상화 배치에 관한 고찰(Considerations on Deploying High-Performance Container-based NFV)’에 관한 논문으로 ‘Best Paper Award’를 수상했다. 수상을 축하드립니다.

신인식, 허재혁, 김민혁 교수 Microsoft Research Asia 공동 연구 프로그..

신인식, 허재혁, 김민혁 교수 Microsoft Research Asia 공동 연구 프로그램에 선정 Microsoft Research Asia (MSRA) 공동 연구 프로그램은 상호 관심있는 연구 주제를 발굴하고, MSRA 연구원과 함께 연구하는 아시아 대학 교수진을 위한 상호 공동 연구 프로그램입니다. 이 프로그램을 통해 아시아에 재능 있는 인재들을 육성하고 고등 교육을 위한 가치 있는 연구 및 기술 파트너십을 확립하고자 하는 일환으로 Microsoft에서 설립한 공동 연구 프로그램입니다. 특히 KAIST는 Tsinghua, HKUST, USTC등과 같이 동일대학 가장 많은 연구과제가 선정된 기관이기도 합니다. 선정된 3편의 연구 내용은 다음과 같습니다.​ TouchSurface: Supporting Touch User Interface with Sound on Any Surface Insik Shin, KAIST Securing Key-Value Stores with Hardware Trusted Execution Environments Jaehyuk Huh, KAIST Capturing Intrinsic Material Appearance via Spectro-Polarimetric 3D Imaging Min H. Kim, KAIST 7 월 중순에 제안 요청을 발표한 이후, MSRA Collaborative Research Program Committee에서 최첨단 및 공통 연구 관심 분야를 기반으로 신중하게 검토하였으며, 이중 총 62 개의 제안서를 선정하였습니다. 중국 본토, 홍콩, 대만, 일본, 한국 및 싱가포르 등의 35 개 대학교에서 선정되었으며, 저희 KAIST에서는 저희 전산학부에서만 신인식, 허재혁, 김민혁 교수님 세분이 선정되었습니다. 축하드립니다！ [관련정보] http://www.microsoft.com/en-us/research/lab/microsoft-research-asia/articles/msra-collaborative-research-2018-award-announcement/

˝가짜뉴스 점조직처럼 퍼져…인공지능으로 팩트체크 가능˝

지난 11월 10일 연합뉴스에 게재된 차미영 교수의 인공지능을 기반으로 한 가짜뉴스 탐지기술이라는 주제로 가짜뉴스의 폐해와 그간의 연구 성과를 소개에 대한 기사입니다 http://www.yonhapnews.co.kr/bulletin/2017/11/10/0200000000AKR20171110035900063.HTML

한국콘텐츠진흥원과 SM Entertainment에서 주최한 ＇음악, 인공지능을 켜다＇에서 ..

KAIST 전산학부 석사과정 이자룡(지도교수 이흥규) 학생이 지난 11월 1일 서울 동대문구 KOCCA 콘텐츠시연장에서 열린 한국콘텐츠진흥원과 SM엔터테인먼트가 공동으로 진행한 음악과 인공지능 기술 협업 프로젝트 쇼케이스에서, KAIST 바이오및뇌공학과 석사과정 박중배(지도교수 이상완) 학생과 만든 작곡 인공지능 “휴멜로(humelo)”를 통해 AI와 작곡가의 협업 프로젝트에 대해 발표했다.

프로그래밍 언어 분야 세계 최고 학회 ACM POPL2018에 두개 논문 채택

프로그래밍 언어 세계 최고 학회인 ACM POPL 2018에 우리 전산학부에서 근무하는 이원열 연구원과 쓴 논문과 양홍석 교수가 쓴 논문이 채택되었다. 이원열 연구원이 쓴 논문은 “On Automatically Proving the Correctness of math.h Implementations“ 란 논문으로, 마이크로소프트 연구소와 스탠포드에서 일하는 동료들(Sharma, Aiken)과 작성한 연구논문이며, 양홍석 교수가 쓴 논문은 “Denotational Validation of Higher-Order Bayesian Inference“ 란 논문으로 옥스포드, 캠프릿지, 튜빙엔, 에딘버러에서 일하는 동료들(Scibior, Kammar, Vakar, Staton, Cai, Ostermann, Moss, Heunen, Ghahramani)과 작성한 연구논문이다.

MDM 2017 개최

지난 5월 29일부터 6월 1일까지 송준화 교수와 펜실베이니아 주립대 Wang-Chien Lee 교수는 함께 '모바일 데이터 관리에 관한 국제학회' (IEEE International Conference on Mobile Data Management, 이하 MDM)를 본교에서 4일간 개최했다. 올해로 18회를 맞는 MDM은 모바일 환경에서 새롭게 생겨난 데이터의 처리를 다루는 학회로, IoT, 자율 주행 자동차, 크라우드 소싱, 모바일 사용자의 행동 인식 등 학계와 산업계가 함께 다양한 주제를 다룬다. 13개국에서 온 105명의 연구자가 총 50회의 논문발표가 진행되었으며, 국내외 연구자뿐만 아니라 Google, IBM, Delta Electronics 등의 기업도 참여하여 향후 모바일 데이터의 가능성에 대해 열띤 토론을 진행했다. 본 학회는 IEEE, 카이스트 전산학부, IEEE 데이터 엔지니어링 기술 위원회 (TCDE), 미국 피츠버그 대학, 대전 마케팅 공사, 충남대학교 소프트웨어 연구 센터, 대전광역시의 지원으로 개최되었다.

백승환 박사과정, 박창현 박사과정 MSRA PhD Fellowship 2017 수상

백승환 박사과정(지도교수: 김민혁), 박창현 박사과정(지도교수: 허재혁) MSRA PhD Fellowship 2017 수상 [link] 지난 6월 마이크로소프트연구소아시아 (Microsoft Research Asia, MSRA) 장학생 선발 관련하여 KAIST 전산학부에서 지원한 김민혁 교수님의 지도학생, 백승환 군과 허재혁 교수님의 지도학생, 박창현 군이 마이크로소프트연구소아시아 (MSRA) 최종 Fellowship Winner로 선정이 되었습니다. 아시아 전역 38개의 유수 연구 중심 대학에서 107명이 경쟁을 하였는데 그 중 최종 장학생 10명으로 선정이 된 것입니다. 중국 7명, 홍콩 1명, 한국 2명입니다. 2명 모두 KAIST 전산학부 지원자입니다. 백승환군(Microsoft Research Asia Internship 수행중)과 Fellowship Winner인 박창현군(Microsoft Research Asia Internship 수행)에게는 원할 경우 추가적으로 3개월 인턴쉽이 제공되고, 연구와 학술활동을 위해 USD1만불의 상금이 지급됩니다. 시상식은 10월 19일 중국, 하얼빈에서 진행되는 21세기 컴퓨팅 컨퍼런스 (2000여명 참석)에서 진행이 되었으며, Turing Award Winner인 John Hopcroft 박사님과 점심 미팅도 참석하였습니다. 1999년부터 본 MSRA Fellowship 프로그램은 아시아-퍼시픽 지역의 약 40여개 대학교로부터 약 1,100명의 박사과정생들이 지원하였으며, 이중 396명의 실적이 우수한 학생들을 선발하여 MSRA Fellowship 장학금을 지원해 왔습니다. 지금까지 수상자들은 각 분야에서 영향력 있는 연구자 되어왔습니다. 다시한번 백승환 군과 박창현 군의 펠로우십 수상을 축하드립니다. 박창현 박사과정(사진 왼쪽), 백승환 박사과정(사진 오른쪽)

KAIST 전산학부 차세대정보컴퓨팅기술개발사업 선정

지난 9월 19일 과학기술정보통신부와 한국연구재단이 발표한 차세대정보컴퓨팅 기술개발사업(이하 차세정)에 우리 KAIST 전산학부에서 지원한 3개 과제가 모두 선정되었다. 차세정 사업은 "장기적인 국가경쟁력 확보를 위해 기존 IT분야 R&D와 차별되는 SW 분야 기초․원천기술 개발 중점 지원" 을 그 목표로 하는 사업으로 우리 전산학부에서 선정된 세부 과제는 다음과 같다. - SuggestBot: 컨텍스트 기반 스마트 인터랙션 원천 기술 개발 연구목표: 웨어러블 컴퓨팅 환경에서 In-situ, Intelligent, In-time 스마트 인터랙션을 실현하기 위하여 인터랙션 빅데이터, 상황 추론 및 행동 제시 엔진, 웨어리블 UI 및 컴퓨팅 서브시스템을 포함한 소프트웨어 원천 기술 개발 총괄과제 책임자: 이기혁 교수 전산학부 참여교수: 김주호 교수, 맹성현 교수, 오혜연 교수, 송준화 교수 타학과 참여교수: 이의진 교수(산업및시스템공학과) - 신뢰적인 지능형 CPS 복합체계 개발 및 On-the-fly 검증 기술 연구목표: Vehicle to Everything(V2X), 스마트 공장 등의 Cyber-Physical System(CPS) 환경에서의 신뢰적이고 안전한 소프트웨어 개발을 위한 소프트웨어공학 기술 개발 총괄과제 책임자: 고인영 교수 전산학부 참여교수: 배두환 교수, 강성원 교수, 송준화 교수, 백종문 교수 타기관 참여교수: 홍장의 교수(충북대), 유준범 교수(건국대), 강승우 교수(한국과학기술교육대) - 지능형 자동화를 통한 풀스택 SW의 다중언어 검증 및 디버깅: 김문주 교수 연구목표: 스마트디바이스나 IoT 등에 널리 쓰이는 풀스택 SW의 높은 복잡도로 인해 발생하는 오류를 자동으로 검출하고 디버깅하는, 기술집약적 지능형 자동화 알고리즘 연구 총괄과제 책임자: 김문주 교수 전산학부 참여교수: 류석영 교수, 유신 교수 타기관 참여교수: 최윤자 교수(경북대), 배경민 교수(POSTECH), 홍신 교수(한동대) 본 사업의 기간은 2017년 9월 1일~2020년 12월 31일 (3년 4개월) 이며 사업기간 동안 총 95억 3천 여 만원의 연구비를 지원받게 된다.

2017 Google PhD Fellowship 오상은 박사과정 학생 선정

지난 9월 12일, KAIST 전산학부 박사과정 오상은(지도교수 신인식) 학생은 “다중 기기 간의 손쉬운 상호작용을 지원하는 모바일 시스템”에 관한 연구 성과를 인정받아 모바일 컴퓨팅 (Mobile Computing) 분야에서 2017 Google PhD Fellowship에 선정되는 영예를 안았다. Google PhD Fellowship program은 전산학 관련 연구 분야에서 우수한 연구를 수행하고 있는 박사과정 학생들을 발굴하기 위해 Google이 2009년부터 운영하고 있는 장학 프로그램이다. 여기 선정된 학생들은 1만 달러 (한화 약 1100만원)의 장학금을 수여 받고, Google의 각 분야 전문가 멘토들과 일대일로 연결되어 연구 토의 및 피드백을 받게 된다. 올해에는 전 세계에서 47명의 박사과정 학생들이 선발되었으며, 그 중 한국, 중국, 일본을 포함한 동아시아에서는 총 6명이 선발되었다. 오상은 학생은 박사 과정 동안 스마트 기기들 간에 로그인, 결제, 센서 등 다양한 기능들을 쉽게 공유할 수 있는 모바일 플랫폼 기술을 개발하여 이전 모바일 플랫폼에서는 쉽게 제공할 수 없었던 여러 사용자 경험들을 만들 수 있게 하였다. 이 연구는 지난 6월 21일 미국에서 열린 모바일 컴퓨팅 분야 최고 권위 학술대회 ACM(국제컴퓨터학회) MobiSys에 발표되었다.

이성주교수의 SCAN, 오혜연교수의 Eliph 시스템 KAIST Breakthroughs에..

전산학부 이성주 교수의 모바일 SCAN 시스템과 오혜연 교수님의 연구실의 Eliph 시스템이 KAIST Breakthroughs에 선정 소개되었습니다. 이성주 교수님 연구실의 모바일 SCAN 시스템 (http://breakthroughs.kaist.ac.kr/?post_no=913) 오혜연 교수님의 연구실의 Eliph 시스템 (http://breakthroughs.kaist.ac.kr/?post_no=908) 축하드립니다.

양홍석교수, QONFEST ＇17에서 초청강연자로 기조연설

KAIST 전산학부 교수 양홍석, QONFEST’17에서 CONCUR, QUEST, FORMATS 통합 초청강연자로 기조연설 KAIST 전산학부 양홍석교수가 QONFEST’17에서 CONCUR, QUEST, FORMATS의 통합 초청강연자로 “probabilistic programming”에 대해 기조연설을 하였습니다. QONFEST’17는 CONCUR, QUEST, FORMATS, EPEW라는 네개의 국제학회로 이루어진 행사인데, 주로 엄밀하게 소프트웨어나 하드웨어 시스템을 기술하고 그들의 성질이나 성능을 분석하는 연구가 논의되는 곳입니다. QONFEST’17는 9월 4일부터 9일까지 독일 베를린에서 열렸습니다.

학부생 조경제(지도교수 김주호) URP 최우수상 수상

KAIST 전산학부 학사과정 조경제 학생이 8월 24일 개최된 2017 겨울/봄학기 URP(학부연구프로그램) 프로그램 워크샵에서 최우수상을 수상했습니다 (지도교수: 김주호, 조교: 박사과정 장민석). 더불어 본 연구는 GroupSight 2017 워크샵(Second Workshop on Human Computation for Image and Video Analysis)에 논문으로 채택 되었습니다. 제목: “Exprgram: A Video-based Language Learning Interface Powered by Learnersourced Video Annotations” 저자: Kyung Je Jo, John Joon Young Chung, Juho Kim (School of Computing, KAIST) Abstract: Foreign language learners are challenged to master pragmatic competence, the ability to use language in a contextually appropriate way. While a large number of language learning materials are accessible, they are often optimized for developing linguistic components (e.g., vocabulary and grammar). In this research, we turn to videos in foreign language as an underutilized source of real-life situations with rich contexts. To efficiently learn from diverse situations through videos, learners should be able to access relevant videos that share a context or an expression. We introduce Exprgram, a language learning interface that utilizes videos at scale to enable context- and expression-based browsing. To enable such browsing, contexts or semantically related expressions in videos should be annotated at scale. Exprgram combines crowdsourcing and machine learning to acquire the needed annotations. Specifically, we introduce a learnersourcing workflow that harvests and organizes video annotations of highly contextual data and relevant expressions to improve our browsing system. Results of a pilot study show that Exprgram helps participants learn diverse expressions in a given context and generate reliable artifacts for future learners. Video link: https://www.youtube.com/watch?v=J0Y9tzJ-8xY

소프트웨어 엔지니링 분야 세계 최고 학회 IEEE／ACM ASE2017에 차상길 교수 논문..

소프트웨어 엔지니어링 분야에서 세계 최고 학회로 인정하는 IEEE/ACM ASE 2017(Automated Software Engineering)에 우리 전산학부 정보보호대학원 논문이 채택 되었습니다. 본 논문(Testing Intermediate Representations for Binary Analysis)은 정보보호대학원 차상길 교수와 김수민 학생 및 KAIST 사이버보안연구센터 연구원 등이 참여하였습니다. 이 연구는 차상길교수가 2016년부터 수행중인 미래부 R&D 과제 수행의 일환으로, KIAST 사이버보안연구센터와 협업 하고 있는 내용으로, 바이너리 분석을 위한 기존 중간언어들간의 표현력 비교 등을 다룬 내용입니다. 본 논문은 올해 미국 일리노이 IEEE/ACM ASE 2017 학회(10.30~11.3일)에서 발표 예정입니다. 참고 : http://ase2017.org

이동만 교수, 『장소성(Placeness) 데이터 마이닝 및 추론API』 공개

□ KAIST 이동만, 이원재, 박주용, 차미영 교수 및 연구팀은 ‘스마트 공간에서의 실시간 지능형 정보 추천서비스를 위한 장소성 기반 데이터 마이닝 핵심기술 개발’ 연구의 일환으로『장소성(Placeness) 데이터 마이닝 및 추론』를 공개하였다고 밝혔다. ㅇ API 웹주소는 placeness.kaist.ac.kr:8080/ 이며, 관련 정보는 WIKI:placeness.kaist.ac.kr/wiki 에서 얻을 수 있다. ㅇ ‘스마트 공간에서의 실시간 지능형 정보 추천서비스를 위한 장소성 기반 데이터 마이닝 핵심기술 개발’ 연구는 과학기술정보통신부(전 미래창조과학부)의 연구개발사업의 지원으로 2015년 7월~2017년 8월 수행되었다. ㅇ 본 연구는 특정 상업 공간에 방문하는 방문자들의 방문 목적과 사회적 맥락을 파악하기 위해 온라인 소셜 네트워크 서비스에서 대량 생산되는 위치기반 멀티미디어 및 문자 데이터를 분석하여 사회적 행위, 감성, 장소-사용자간 관계 등을 추론한다. ㅇ 연구진이 공개하는 API는, 현재 연구개발 대상으로 지정한 주요 상위장소(e.g. COEX, IPark Mall) 및 각 상위장소 내 다수의 세부장소들에 대한 소셜 멀티미디어 데이터를 수집하고 분석하여, 공간별 맥락을 다양한 관점(행위, 방문자, 시간, 분위기 등)에 따라 제공한다. API는 REST API로 공개되어 있으므로 누구나 HTTP request를 통해 주요 공간에 대한 장소적 특성을 확인할 수 있다. □ 본 API는 장소성 추론 과정에서 발생한 주요 연구 이슈에 따라 크게 4개의 세부 분야별 정보를 제공한다: 1) 상위장소의 장소성 추론, 2) 상위장소 내에 있는 세부장소의 장소성 추론, 3) 감성분석 기반의 세부장소 및 상위장소의 분위기(ambience) 추론, 4) 사용자-장소성 간 연관성(relationship) 제공. ㅇ 위의 세부 분야별 정보는 다음 사항들을 포함한다: - 공간 내 사용자들의 사회적 맥락 파악을 통한 공간의 실시간 장소성 매칭 원천기술 - 정형화 된 자료구조를 적용한 세부장소의 장소성 추론 원천기술 - 사용자의 통시적/즉시적 맥락 반영을 위한 장소-사용자 간 다차원 연결망 관련도 추론 원천기술 - 실시간 장소 추천을 위한 감성 추론 및 이를 기반으로 한 사용자 맞춤형 장소 감성 스코어 출력 원천기술 ㅇ 제공되는 정보를 통해 개발자는 추천 장소의 정확도 및 만족도 향상을 기대할 수 있으며, 소셜 데이터로부터 사회적 맥락에 따른 대중의 장소 방문 패턴과 선호도 변화를 파악하여 이에 따라 특정 장소를 추천하거나 장소 내의 특정 콘텐츠 소비를 촉진하는 쿠폰 발행 등의 광고에 활용할 수 있다. 따라서 소셜 커머스 및 위치기반 쿠폰 발행 서비스 등을 제공하는 사업 분야에 모두 적용 가능하다. □ 이동만 교수 (과제책임자)에 따르면 본 연구에서 개발된 API를 통하여 기존의 위치기반 장소 검색 및 추천 서비스의 검색 수준을 향상시키고, 도시공간에서 방문자들의 장소 방문 트렌드 변화에 따라 자동으로 변화된 장소 추천을 할 수 있다. 기존의 비정형 텍스트 데이터 분석의 한계를극복하기 위해 사진과 텍스트를 동시에 고려하여 공간에 대한 사회적 정보를 추론하여 현재의 위치기반 추천 서비스가 인공지능형 개인 비서 서비스로 도약하는데에 핵심 기술로 활용될 것으로 기대된다. □ 장소성(Placeness) 데이터 마이닝 및 추론 기술은 위치기반 정보 검색 및 추천 서비스 제공 업체 또는 위치 기반 소셜 커머스 서비스 등에 적용 가능하며, 상기 서비스 업체들은 정보검색 업체와 모바일 쿠폰 제공 업체에서 지능형 정보 추천 기능을 제공하는 데 활용될 수 있다.