Dr. Duksu Kim, a Ph.D. graduate at 2014, joined KO..

Under the supervision of Prof. Sung-eui Yoon, he researched mainly on utilizing CPUs and GPUs together, heterogeneous parallel computing, and joined KISTI as a researcher before moving to the academy. More information on his research can be found on: https://sglab.kaist.ac.kr/bluekds/

Professor Moon-Ju Kim of KAIST School of Computing..

The paper, 'Invasive Software Testing: Mutating a Target Program to Diversify Test Exploration for High Test Coverage,' published by Professor Moon-Ju Kim of KAIST School of Computing won the Distinguished Paper Award at IEEE ICST 2018 (International Conference on Software Testing, Verification and Validation, acceptance rate:25％). They suggest Invasive Software Testing which is a new technology that goes beyond the existing SW testing paradigm. Invasive Software Testing extracts a variety of information from a number of variants of the target SW program and effectively detects errors in the field that the conventional SW testing can not analyze. In the paper, they demonstrate experimentally that the SW analysis outcome is significantly improved compare to the latest testing technology through the DeMiner (guiDEed test generation using MutatIoN ExploRation) framework which implements the Invasive Software Testing paradigm. Congraturations！

Professor Suk-young Ryu gave a keynote speech as a..

Professor Suk-Young Ryu, School of Computing, KAIST, gave a keynote speech on "Static Analysis of Android Applications for Finding Bugs and Security Vulnerabilities" as a guest speaker at <Programming> 2018. <Programming> 2018 is the International Conference on the Art, Science, and Engineering of Programming, where you will discuss various theoretical, experimental, and engineering research results on programming. <Programming> 2018 was held in Nice, France from April 9th 12th.

KAIST developed algorithm platform that organizes ..

<From left: Professor Juho Kim (KAIST), Professor Maneesh Agrawalla (Stanford University), Ph.D. candidate Minsuk Chang (KAIST)> Professor Juho Kim and his research team developed algorithm platform for organizing and analyzing various sequential knowledge in cooperation with Professor Nameesh Agrawalla and his research team from Stanford University, the USA, and a research team from EPFL, Switzerland. The article in Korean: http://www.etnews.com/20180409000376 This study will be announced on Aprill 26th at ACM SIGGHI 2018, the most prestigious conference in the field of HCI. Project website: https://recipescape.kixlab.org/

Wanju Local Food cooperative adapted the agricultu..

The Oliot platform, developed by Professor Daeyoung Kim, School of Computing, KAIST, has been applied to Wanju Local Food cooperative, one of the largest agricultural cooperatives in Korea. The platform is operational since April 5th. The articles in Korean: 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

ACM IUI 2018, Best Student Paper Award Honorable M..

Professor Joo Ho Kim of KAIST School of Computing and Jean Y. Song, a doctoral student at the University of Michigan, also a visiting researcher at KAIST School of Computing, won the 'Best Student Paper Award Honorable Mention' at the ACM 2018 Conference on Intelligent User Interface held in Tokyo March 8th. Title: 'Two Tools are Better Than One: Tool Diversity as a Means of Improving Aggregate Crowd Performace' They present a new method to overcome the limitation of existing crowdsourcing technique. By providing various tools and interfaces to participants, it improves the accuracy of the total result by minimizing the errors coming from using a single tool. https://dl.acm.org/authorize?N43044

Dr. Jae-il Kim, a graduate of School of Computing,..

Dr. Jae-il Kim (advisor: Jinnah Park, graduated in Feb. 2015), an alumnus of School of Computing, has been appointed as an assistant professor at Kyungpook National University's School of Computer Science and Engineering. Dr. Jae-Il Kim worked at Samsung Electronics as a Senior Engineer. He actively conducted research in the field of computer science and medical imaging at the University of North Carolina at Chapel Hill as a Postdoctoral Research Associate since June 2016. His major research contests are: Diffusion-weighted atlas construction & learning-based missing image prediction Ultrasound image fusion 3D foot bone modeling for foot joint analysis Surface-based shape analysis for subcortical structures and brain ventricles Congratulations！

Professor Insik Shin develops ＇Flexroid＇ technolog..

Linked is an article on KAIST School of Computing Prof. Shin's lab and their development on the Android operating system technology 'FlexRoid' which prevents the inappropriate use of resources and information of the external code included in the apps. The article in Korean. http://www.etnews.com/20180302000186

Master student Hyung-Uk Ryu scores the top in the ..

Linked is an article on KAIST School of Computing Master student Hyung-Uk Ryu's top scoring on the TOPCIT The article in Korean. http://news.joins.com/article/22411058

Profs. Sukyoung Ryu, Sung-Ju Lee, Junehwa Song, an..

Profs. Sukyoung Ryu, Sung-Ju Lee, Junehwa Song, and Min H. Kim＇s research projects were selected to be presented in KAIST Breakthroughs. Prof. Sukyoung Ryu: HybriDroid: Static analysis framework for android hybrid applications http://breakthroughs.kaist.ac.kr/?post_no=1027 Prof. Sung-Ju Lee & Junehwa Song: Zaturi: Create an audiobook for your baby using time that slips by http://breakthroughs.kaist.ac.kr/?post_no=1029 Prof. Min H. Kim: Compact hyperspectral imaging at low cost http://breakthroughs.kaist.ac.kr/?post_no=1026 Congratulations on being accepted for KAIST Breakthroughs 2018 Spring！

Dr. Shin Yoo, a faculty member of School of Comput..

Dr. Shin Yoo, a faculty member of School of Computing, KAIST, has been appointed as an editorial board member of Springer’s Empirical Software Engineering journal, starting from February 2018. Springer’s Empirical Software Engineering is an SCIE-indexed journal that specializes on empirical and data-driven software engineering research. ESE is one of the most prestigious software engineering journals: in 2016, ESE had the impact factor of 3.275, and 5-year accumulative impact factor of 3.759. Google Scholar currently ranks ESE at the 12th place among the Software Systems conferences and journals.

Prof. Jinah Park and her research have been select..

Prof. Jinah Park and her research have been selected as the 2017 KAIST Top 10 representative R&D Outcomes The research work of Prof. Jinah Park, a faculty member of School of Computing, KAIST, has been selected as the 2017 KAIST Top 10 representative R&D Outcomes under the topic "Hippocampal Shape modeling based on a Progressive Template Surface Deformation and Its Verification." The purposes of the 2017 KAIST Top 10 representative R&D Outcomes are - To inspire the researchers' motivation toward the research by discovering and celebrating the outstanding achievements of the KAIST R&D - To accumulate the core technical information and the outstanding accomplishments through the continuous publications of the annual reports and videos. - To induce the progress of a performance management system through the systematic performance case management The award will take place during the Research Day event in May 2018. Congratulations

Ph.D. candidate Hyosoo Kim wins the ＇HumanTech Pap..

KAIST School of Computing Ph.D. candidate wins the bronze prize in the Computer Science & Engineering part of the Samsung Electronics Human Tech papers on February 7th. A research team composed of Ph.D. candidates Hyosoo Kim and Byungil Kim (advisor: Insik Shin) at KAIST and Ph.D. candidates Daehyeok Kim at CMU won the prize by developing touch detection technology using touch sound in the mobile environment. The team was highly acclaimed for their sound-based new hacking techniques and mobile HCI technology. Title - TapSnoop: Leveraging Tap Sound to Infer Tapstrokes on Mobile Touch-screen Devices Author - Hyosoo Kim (KAIST), Daehyeok Kim (CMU) Byungil Cho (KAIST) The Samsung Electronics HumanTech Paper Award was established in 1994 to discover creative and challenging young people who will lead the future science of Korea and to create a social atmosphere that emphasizes technology and revitalizes research atmosphere in the schools. Congratulations！ https://humantech.samsung.com/saitext/board.do

Regular member of the National Academy Engineering..

Prof. Sue Bok Moon, a faculty member of School of Computing, KAIST, has been appointed as a regular member of the National Academy Engineering of Korea on January 3, 2018. Congratulations！ Article: http://www.etnews.com/20180103000240

47th School Anniversary Faculty Excellence Reward

In the School of Computing, the following awards were given: International Cooperation Award to Key-Sun Choi Innovation Award to Dong Soo Han and Excellent Lecture Award to In-Young Ko. International Cooperation Award is given to the faculty who has contributed largely to the university’s international cooperation, Innovation Award to the faculty who has contributed to the innovations to industry through technology transfer and commercialization and to the sharing and spreading of research achievements, and Excellent Lecture Award to faculty whose course evaluation results for the last year was best. The award ceremony is held on Jan 12th 2018 at the 47th School Anniversary Event. Congratulations.

Prof. Eunho Yang is awarded the 2018 Songam Future..

Prof. Eunho Yang is awarded the 2018 Songam Future Scholar Research Excellence Award. Songam Future Scholar Research Excellence Award is according to the will of the President Lee of Korea Former Co. given to Assistant Professors in Engineering Schools with less than 5 years of appointment with an excellent research performance in order to encourage their research activity. The Award ceremony is held on Jan 12th 2018 at the 47th School Anniversary Event. Congratulations.

Prof. Jinah Park received Appreciation Plague from..

Prof. Jinah Park received Appreciation Plague from the Dean of College of Engineering for her devotion to KAIST Breakthroughs, a biannual research newsletter of the College of Engineering.

Professor Insik Shin develops technology to half t..

신인식 교수, 스마트폰 전력소모를 절반으로 줄이는 기술 개발 An application that can reduce the power consumption of smartphone web browsers down to 40％ of the original has been developed. It is expected to boost the battery time by reducing web browsing power consumption, which is significant part of smartphone power consumption. Prof. Shin’s team spoke on etnews of Jan 8th that they have developed a low power mobile browsing technology by optimizing the frame rates of web pages. “Low power mobile browsing allows us to increase smartphone power performance with software only. It will help the smartphone manufacturers and web browser developers who are trying to optimize power consumption,” said Prof. Shin. Etnews article: http://www.etnews.com/20180105000383

Team NLPCL ＊ CGV (Jung-Ho Kim, Youngjin An, Wonsuk..

Team ‘NLPCL ＊ CGV’ attended the ‘SW/Demo Contest’ and won the best demo award during the Korea Software Congress 2017 held in Busan on December 20th~22nd. Team ‘NLPCL ＊ CGV’, comprised of Ph.D students Jung-Ho Kim, Wonsuk Yang and Fitsum Gaim of NLPCL Lab (advisor: Jong Cheol Park) and Master’s student Youngjin Ahn of CGV Lab (advisor: Jinah Park), has demonstrated a ‘VR training and mobile feedback system to increase communication ability in work environment’ by merging VR and AI technology.

Ph.D student Jooyeon Kim (advisor： Alice Oh) devel..

Ph.D student Jooyeon Kim (advisor: Alice Oh) develops algorithm to minimize fake news spread by leveraging the crowd The algorithm to minimize fake news spread researched by Ph.D student Jooyeon Kim of Prof. Alice Oh’s lab, together with Dr. Manuel Gomez-Rodriguez of Max Plank Institute, has been published in articles of Yonhapnews, Maeil Business News, and ETnews. This research is the first work on modeling techniques for crowd-powered reduction of fake news spread, whose concern have been growing recently. The work is to be presented in the ACM WSDM on February 2018. 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 Paper acceptance

KAIST team has newly suggested the unit testing of C programs that can find errors automatically while minimizing false alarms. Prof. Moonzoo Kim and Dr. Yoon Ho Kim wrote a paper "Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts" in collaboration with Prof. Yoon Ja Choi at Kyung-Buk University. Their paper has been accepted to ACM/IEEE ICSE (Intl. Conf. on Software Engineering) which is one of the most prestigious conferences in the Software Engineering field. Congratulations！

The 9th Asian Conference on Machine Learning (ACML..

The 9th Asian Conference on Machine Learning, where Prof. KeeEung Kim served as the General Chair, took place in Yonsei University from November 15th to 17th. In the conference experts and researchers shared results and ideas on machine learning, and discussed proposals centered around innovative machine learning ideas and paradigms. Since 2009, ACML has been a gathering of new ideas and technology about machine learning, which has taken important roles in various fields in the industry. ACML has started in Asian region and has been held in New Zealand, Hong Kong, Australia, Singapore, Taiwan, Japan and China. The conference has helped the scientists gain a broader understanding on machine learning and get insights for applying them in the industry.

CAN ’17 at ACM CoNEXT 2017, Best Paper Award

On December 12th, KAIST undergraduate student Jaemin Shin and Dukgi Hong (Advisor Prof. Sue Moon) has earned the ‘Best Paper Award’ for their paper ‘Considerations on Deploying High-Performance Container-based NFV’ in the international conference ‘Cloud-Assisted networking Workshop at ACM CoNEXT 2017’ held at Incheon Paradice City Hotel. Congratulations！

Prof. Meeyoung Cha’s Team awarded 1st place in the..

Research team “Is this real story” lead by Prof. Meeyoung Cha was awarded the President of Artificial Intelligence Industry Association Award for their AI technology for identifying fake news by finishing first place in the university division of ‘AI R&D Challenge’ held in Gyeonggi Creative Economy Center. The ‘2017 AI R&D Challenge Competition’ aims to find problems that have high economic and social influence but are considered too challenging, and solve them using the AI technology. The first topic is this year’s identification of fake news. To identify fake news with coherence and inconsistency of news content two tasks were to be solved, and the competition had 6 million Won prize and 18 year R&D support totaling 1 billion Won. 71 teams of individuals, universities and companies participated in the qualifiers and final rounds. The top 3 teams were awarded the Minister of Science and ICT Award and the President of Institute for Information &communications Technology Promotions Award, with special awards of President of Artificial Intelligence Industry Association Award and Intel Award. Prof. Cha’s team (with PhD Student Keonwoo Park, Masters student Jeongmin Kim, Undergraduate student Taekyoon Kim and 3 students from Graduate School of Culture Technology) formed industrial-educational cooperation with Withcat and Jamong Lab, and developed a recurrent neural network that uses paragraph level embedding vectors to classify the coherence of information. The research team conducted the research with the support of KAIST 2017 AI Flagship project.

Asiacrypt 2020 to be held in Korea(Daejon)

During his visit in Asiacrypt 2017 that was held in Hong Kong from December 3rd to 7th, Prof. Kwangjo Kim got the approval to hold the Asiacrypt 2020 in Korea after giving his proposal in the Coordination Committee meeting held in December 4th. Asiacrypt Coordination Committee decides the host country of Asiacrypt that takes place every December. Currently there are up to 3 representatives from each of the 13 countries, including Korea, Japan, China, Taiwan, Hong Kong, Australia, New Zealand, Malaysia, Singapore, Vietnam, UAE and Pakistan. The representatives from Pakistan could not attend this day’s meeting. Korea, Singapore and UAE gave their hosting proposal, and as the result of the voting procdure, Korea got 6 votes and UAE and Singapore got 3 votes each, which didn’t count as majority for Korea. In an additional meeting without the three running countries, the committee chair, Prof. Lai of Shanhai Jiao Tong University, chose Korea as the hosting country. The hosting of Asiacrypt2020 in Korea will be finalized once the IACR Board confirms during Eurocrypt held in Israel next April. Thus Asiacyrpt 2020 is to be held in Korea (Daejeon). The conference is expected to be attended by renowned cryptographers, and that research in cryptography in Korea will mature once more. Prof. Kwangjo Kim is currently IACR Fellow and will serve as the committee chair of Asiacrypt 2020.

Prof. Min H. Kim’s research, compact hyperspectral..

Prof. Min H. Kim’s research project, compact hyperspectral imaging, is in press of EurekAlert Science News and Photonics Media. The traditional hyperspectral imaging technology has wide reach and is being applied in fields such as military combat, astronomy, agriculture, biomedical imaging, and geoscience. Scientists, for instance, rely on hyperspectral imaging to observe and analyze materials for mining and geology, or for various applications in the medical field. However, hyperspectral imaging systems are expensive—ranging from ＄25,000 to ＄100,000—and require complex specialized hardware to operate. Prof. Min H. Kim’s team of computer scientists from KAIST, South Korea, and Universidad de Zaragoza, Spain, has devised a way for low-cost accurate hyperspectral imaging, ridding of expensive equipment and complex coding. This novel, compact single-shot hyperspectral imaging method captures images using a conventional DSLR camera equipped with just an ordinary refractive prism placed in front of the lens. The new method was tested on a variety of natural scenes, and the results, according to the researchers, compared well with current state-of-the-art hyperspectral imaging systems, achieving quality images without compromising accuracy. “These hyperspectral imaging systems are generally built for specific purposes such as aerial remote sensing, or military applications, and as such they are not affordable nor practical for ordinary users,” said Min H. Kim, associate professor of computer science at KAIST and a lead author of the study. “Our system requires no advanced skills, and we are able to obtain hyperspectral images at virtually full resolution while making hyperspectral imaging practical.” Prof. Kim’s collaborators include Diego Gutierrez, associate professor at Universidad de Zaragoza; Seung-Hwan Baek, computer science PhD student at KAIST; and Incheol Kim, MS student at KAIST in Min H. Kim’s lab. The team presented their new method at SIGGRAPH Asia 2017 and also published it in the top computer graphics journal, ACM Transactions on Graphics (TOG). This annual conference and exhibition showcases the world’s leading professionals, academics and creative minds at the forefront of computer graphics and interactive techniques. EurekAlert Science News: https://www.eurekalert.org/pub_releases/2017-11/afcm-chi120417.php Photonics Media: https://www.photonics.com/Article.aspx?AID=62875 Technology Breaking News: https://www.technologybreakingnews.com/2017/12/compact-hyperspectral-imaging-at-low-cost/ R&D Magazine:​ ​https://www.rdmag.com/news/2017/12/compact-hyperspectral-imaging-low-cost

Insik Shin, Jaehyuk Huh and Min H. Kim won MSRA Co..

Professors, Insik Shin, Jaehyuk Huh and Min H. Kim, won MSRA Collaborative Research 2018 Grant Awards Microsoft Research Asia (MSRA) Collaborative Research Program is a grant program for faculty members in Asia, working together with MSRA researchers on mutually interesting topics. MSRA aspires to foster talents and establish Microsoft as a valuable research and technology partner for higher education in Asia. In addition, KAIST is the university that won the largest number of grant awards, along with Tsinghua, HKUST, and USTC. The selected research projects are: 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 Since the announcement of Call for Proposals in mid-July, there has been a large number of submissions. MSRA Collaborative Research Program Committee carefully reviewed them based on the state-of-the-art and common research interests. Now MSRA announces 62 awards. The awardees are from 35 universities and institutes in China mainland, Hong Kong, Taiwan, Japan, Korea and Singapore. We are pleased to announce that three professors of KAIST School of Computing, Insik Shin, Jaehyuk Huh and Min H. Kim, won MSRA Collaborative Research 2018 Grant Awards. Reference: http://www.microsoft.com/en-us/research/lab/microsoft-research-asia/articles/msra-collaborative-research-2018-award-announcement/

Two papers accepted at ACM POPL 2018, a top intern..

Two papers from the KAIST School of Computing got accepted for ACM POPL 2018, a top international conference on programming languages. The first paper is “On Automatically Proving the Correctness of math.h Implementations“ authored by Mr Wonyeol Lee in the school and his colleagues in Microsoft and Stanford (Sharma and Aiken). The second paper is “Denotational Validation of Higher-Order Bayesian Inference“ written by Prof Hongseok Yang in the school and his colleagues in Oxford, Cambridge, Tubingen and Edinburgh (Scibior, Kammar, Vakar, Staton, Cai, Ostermann, Moss, Heunen, Ghahramani).

KAIST School of Computing hosts MDM 2017

From May 29 to June 1, Professor Junehwa Song and Professor Wang-Chien Lee of Pennsylvania State University co-chaired the IEEE International Conference on Mobile Data Management (MDM), hosted by KAIST. Celebrating its 18th year, MDM is an academic conference that focuses on data management in mobile, ubiquitous and pervasive environment. MDM deals with topics addressed by both academia and industry such as IoT, autonomous vehicles, crowdsourcing and mobile sensing. A total of 50 papers were presented by 105 researchers from 13 countries. In addition to domestic and international researchers, companies such as Google, IBM, and Delta Electronics participated in discussions about the potentials of mobile data in the future. The conference was held with the support of IEEE, KAIST School of Computing, IEEE Technical Committee on Data Engineering(TCDE), University of Pittsburgh, Daejeon International Marketing Enterprise, Software Research Center of Chungnam National University and Daejeon Metropolitan City.

Seung-Hwan Baek and Chang Hyun Park won MSRA PhD F..

Seung-Hwan Baek and Chang Hyun Park won MSRA PhD Fellowship 2017 [link]. Congratulations to Seung-Hwan Baek (advisor: Prof. Min H. Kim) and Chang Hyun Park (advisor: Prof. Jaehyuk Huh), on winning the 2017 Microsoft Research Asia Fellowship Award！ Their excellent guidance and continued support for the Microsoft Research Asia Fellowship program are highly appreciated. This year, 107 distinguished Ph.D. candidates from 38 leading research universities or institutions were nominated for fellowships. Applicants included candidates from the China mainland, Hong Kong, Taiwan, Japan, South Korea, and Singapore. Each candidate’s credentials, publications, and research projects were thoroughly evaluated by a review committee and only 10 extremely outstanding students have been awarded fellowships. A cash award is also provided to support the fellow’s research and academic endeavors. Moreover, Microsoft Research Asia would like to provide Moreove the PhD student a 3-month visiting research opportunity, which helps the winner to broaden his or her horizons by doing research at a top international research institute under the guidance of an experienced researcher. Seung-Hwan and Chang Hyun were invited to attend the 2017 MSRA Fellowship award ceremony held in Harbin, China, on Oct 19th. The ceremony was one of the key sessions of the 19th Computing in the 21st Century Conference, during which they could talk from distinguished scientists from around the world, and have a lunch meeting with Turing Award winner. Since its inception in 1999, the program has attracted applications from approximately 1,100 PhD candidates from more than 40 universities in the Asia-Pacific region, with 396 outstanding students having been awarded Microsoft Research Asia Fellowships. Many of them have become influential researchers in their area. We are glad to have Seung-Hwan and Chang Hyun as Fellowship winners this year, and we look forward to their future achievements！ Chang Hyun Park (left) and Seung-Hwan Baek (right)

KAIST School of Computing selected in the Next Gen..

On September 19th, all three projects proposed by KAIST Computer School of Computing were accepted in the Next Generation Information Computing Technology Development Project, which was announced by the Ministry of Science and ICT and National Research Foundation of Korea. The project’s mission is to "support development of basic SW technology that differentiates itself from existing R&D in IT, in order to secure long-term national competitiveness" The detailed projects assigned to our department are as follows. - SuggestBot: Context-based smart interaction Research Goal: Development of software technology including big data of interaction, engine for situation inference and action suggestion, wearable UI and computing subsystem to realize in-situ, intelligent, and in-time smart interaction in wearable computing environment. Project manager: Geehyuk Lee Participants from School of Computing: Juho Kim, Sung Hyon Myaeng, Alice Oh, Junehwa Song Participants from other departments: Uichin Lee -Development of reliable intelligent CPS complex system and on-the-fly verification technology Research Goal: Development of software engineering technology for reliable and safe software development in Cyber-Physical System (CPS) environments such as Vehicle to Everything (V2X) and Smart Factory Project manager: In-Young Ko Participants from School of Computing: DooHwan Bae, Sungwon Kang, Junehwa Song, Jongmoon Baik Participants from other institutions: Jang Ui Hong(Chungbuk Univ.), Junbeom Yoo(Konkuk Univ.), Seung-Woo Kang(KoreaTech) -Multilanguage Verification and Debugging of Full Stack SW through Intelligent Automation Project manager: Moonzoo Kim Participants from School of Computing: Sukyoung Ryu, Shin Yoo Participants from other institutions: Yunja Choi(Kyungpook Nat. Univ.), Kyungmin Bae(POSTECH), Shin Hong(Handong Univ.) The project runs from September 1, 2017 to December 31, 2020 (3 years and 4 months), with funding total of 9.53 billion won.

PhD candidate Sangeun Oh awarded 2017 Google PhD F..

On September 12th, KAIST PhD candidate Sangeun Oh was awarded the 2017 Google PhD Fellowship in Mobile Computing area, in recognition of his latest work "Designing Multi-device Mobile Platform for Cross-device Functionality Sharing". Google has been conducting Google PhD Fellowship Program to spotlight PhD candidates who are doing outstanding work in the field of computer science. The awardees are granted ten thousand dollars worth of scholarship and become connected with Google's specialists each field as mentors to discuss the research and get feedback. This year, a total of 47 PhD students worldwide were awarded, including 6 students in the East Asia, including Korea, China and Japan. Throughout his PhD years, Sangeun Oh developed platforms for mobile devices to share functionalities such as log in, payment and sensors, enabling user experiences previously impractical to implement. His research was presented last June 21th in ACM Mobysis, the most prestigious academic conference in Mobile computing.

KAIST Convergence AMP program had the 15th entranc..

KAIST Convergence AMP program (KCAMP, supervisor Prof. Young Whan Kim) held the 15th entrance ceremony on September 4th. The reason CEOs continue to study is to be responsive to new trends and to have wider human networks. If so, a CEO program could be evaluated according to the contents of the curriculum and the composition of the study group. In this regard, the KCAMP is a prestigious program with a curriculum that is tailored to the tastes of corporate executives. The KCAMP program aims to be a distinguished CEO course by integrating KAIST’s capabilities as a global research-oriented university with the fields of management and humanities. It is known to have Korea’s best faculties, differentiated curriculum, diverse students, wide network with alumni, detailed learning support service, active support from KAIST and geographical advantages of Gangnam. The convergence of industries and the transition into a hyper-connected society made by novel technologies such as artificial intelligence, IoT, Big Data and 5G inform us that the fourth industrial revolution is emerging. The KCAMP course aims to educate CEOs who have to prepare for the era of the 4th industrial revolution and to foresee the big trends of industry and society. The KCAMP course aims to train convergence type leaders in preparation for the fourth industrial revolution era. The students were well suited for the convergence program. Among the 40 students were 15 representatives/officers of mid and small sized companies, 8 officers of large size companies, 6 from government and public institutions and 5 from finance, with some people from the media, lawyers and other professionals. The entrance ceremony was attended by more than 50 senior students who have completed the program. They welcomed and socialized with the new students, and organized monthly gathering of all students and alumni to form networks. Professor Kim, the manager of the program, emphasized that KCAMP is striving to become a platform for industry-university cooperation through his speech in the ceremony. He proposed specific directions for development such as linking KAIST students and companies for recruitment, conducting joint research and projects between KAIST and companies and training human resources. KCAMP is a 19-week long program. Upon completion of the program in next January, students of the 15th cycle will be able to participate in various projects held in KAIST and utilize advanced research facilities as KAIST alumni.

Prof. Sung-Ju Lee＇s SCAN and Prof. Alice Oh＇s Elip..

Prof. Sung-Ju Lee's SCAN and Prof. Alice Oh's Eliph system were selected to be presented in KAIST Breakthroughs. Prof. Sung-Ju Lee's SCAN system (http://breakthroughs.kaist.ac.kr/?post_no=913) Prof. Alice Oh's Eliph system (http://breakthroughs.kaist.ac.kr/?post_no=908) Congratulations on both teams！

Prof. Hongseok Yang presented a keynote at QONFEST..

KAIST SoC Prof. Hongseok Yang presented a keynote at QONFEST’17 as a joint invited speaker for CONCUR, QUEST, and FORMATS. Prof. Hongseok Yang at the KAIST School of Computing presented a keynote talk on probabilistic programming at QONFEST’17, as a joint invited speaker for CONCUR, QUEST, and FORMATS. QONFEST’17 is the umbrella event of the four major international conferences CONCUR, QEST, FORMATS, and EPEW, whose topics jointly cover theory, formal modeling, verification, performance evaluation and engineering of concurrent, timed and other systems. QONFEST '17 was held in Berlin, Germany from September 4, 2017, until September 9, 2017.

Prof. Sang Kil Cha’s paper accepted by IEEE／ACM AS..

IEEE/ACM ASE 2017 (Automated Software Engineering), a top international conference on software engineering, accepted a paper from School of Computing’s Graduate School of Information Security. Professor Sang Kil Cha, alongside Soomin Kim and KAIST Cyber Security Research Center, worked on the paper, “Testing Intermediate Representations for Binary Analysis”. The research was a part of Prof. Cha’s project with the Ministry of Science and ICT, a R&D project carried out since 2016 in cooperation with KAIST Cyber Security Research Center. The project is on comparing the expressiveness of existing intermediate representations used for binary analysis. The paper will be presented at IEEE/ACM ASE 2017 conference, held Oct. 30 to Nov. 3 at Illinois, US. Reference: http://ase2017.org

SoC Ph.D Jeongseop Ahn appointed Assistant Profess..

Our very own School of Computing alumnus Jeongseop Ahn, Ph.D (class of 2015, advisor: Prof. Jaehyuk Huh), was appointed an Assistant Professor at Ajou University’s Department of Software. Dr. Ahn worked at a postdoc position in University of Michigan after graduating, and afterwards found a research job at Oracle Labs in Silicon Valley. For his Ph.D, Dr. Ahn worked on fundamental cloud computing technologies such as virtualization and convergence in computer architecture technologies. At Oracle Labs, he worked on systems for big data analysis platforms, both SW and HW. The resultant research found themselves published on top architecture conferences, including ISCA and MICRO, where Dr. Ahn published multiple papers. Dr. Jeongseop Ahn’s achievements are available on his website, at: https://jeongseob.github.io/

Prof. Dongman Lee Unveils “Placeness Data Mining a..

ㅁ KAIST Professors Dongman Lee, Wonjae Lee, Juyong Park, Meeyoung Cha, and their respective research teams unveiled their “Placeness Data Mining and Inference”, a part of their research on the development of core technologies for placeness based data mining for use in real time intelligent information suggestion services in the context of smart spaces. ㅇ The API is available at placeness.kaist.ac.kr:8080/, with the wiki on relevant information available at placeness.kaist.ac.kr/wiki ㅇ The development of core technologies for placeness based data mining for use in real time intelligent information suggestion services in the context of smart space was a government funded R&D effort, running from 2015 July to 2017 Aug, supported by the Ministry of Science and ICT (former Ministry of Science, ICT, and Future Planning). ㅇ This research analyzes the vast amounts of geotagged multimedia and text data generated by online social networking services to garner the purpose and social context of specific commercial locations’ visitors, and through this data infer the social actions, emotion, and the relationship the user has with the location. ㅇ The recently unveiled API relies on data collected and analyzed from the current major R&D objective locations (e.g. COEX, IPark Mall) and their constituent locations. Social multimedia data collected from the locations are analyzed to provide locational context from various perspectives (passers-by, visitor, time, emotion, etc). A REST API allows access via HTTP requests for the general public, providing the placeness information of the major spaces. ㅁ The above API provides 4 different inferences arising from the process of placeness inference: 1) placeness of the location of which this place is a constituent of, 2) placeness of the location within the context of the aforementioned parent location, 3) emotion based inference on the location and its parent location’s ambience, and 4) the user-location relationship. ㅇ The 4 inferences include the following information: - Fundamental technology for real time placeness matching via the analysis of users’ social context within the locality - Fundamental technology for the inference of granular placeness inference via the application of standardized data structures - Fundamental technology for the inference of placeness for reflecting the user’s diachronic / immediate context, thereby presenting a multidimensional relationship connectivity graph between localities and users - Fundamental technology for emotion inference for real time location suggestion and user specific locality emotion score output based on the inference ㅇ The information provided enables developers to improve the accuracy and satisfaction of location suggestion services, as well as mine social data for social contexts and the resultant public visitation patterns and changes in preferences, with which specific locations can be suggested, and advertising and coupons created for the purpose of promoting the consumption of specific contents within the locality. ㅁ Prof. Dongman Lee (Project Lead) claims the API developed during the research effort improves the quality of existing geography based location search and suggestion services, automatically providing changing location suggestions based on urban visitors’ changing location visit trends. The research is expected to form the core of technologies to overcome the limitations in the previous non-standardized text data analysis, harnessing both image and text simultaneously to infer the social information of the location, leading to a leap in existing location based suggestion services and AI based personal assistant services. ㅁ Placeness data mining and inference technology is applicable in various location based information search and suggestion service providers and location based social commerce services, allowing information search companies and mobile coupon providers to offer intelligent information suggestion functionalities and their improvement.

CCA 2017 Held

From July 24 to 28, KAIST’s School of Computing organized and hosted the 14th International Conference on Computability and Complexity in Analysis (CCA2017) and Workshop on Real Verification: http://complexity.kaist.edu/CCA2017 48 leading senior experts, rising young scientists, and eager students have attended and contributed to this unique event. They came from all over the world: Amsterdam, Birmingham, Brussels, Buenos Aires, Bulgaria, Cambridge, Connecticut, Cornell, Darmstadt, Hagen, Kyoto, Maastricht, Munich, Nagoya, Okinawa, Pohang, Pretoria, Saarbrücken, Seoul, Singapore, Tokyo, Trier, and Versailles. Over the course of five days we had 33 presentations of recent research, discussions of current challenges, and explorations of future developments in the Algorithmic Foundations of Numerics. The organizers gratefully acknowledge generous financial support from KAIST's School of Computing, from the International Relations Team (IRT), and from the National Research Foundation of Korea (NRF). Co-located with CCA 2017, a Workshop on Real Verification was organized by Prof. Gyesik Lee (Hankyong National University) and Prof. Martin Ziegler (KAIST) with invited speakers from Yonsei University, INRIA, Aston University, Trier University, KAIST, SNU, and AdaCore. For many participants this was the first time to visit Korea: They have particularly enjoyed the impressive experience of this technologically advanced country as well as of its warm hospitality, culinary richness, and cultural heritage. In fact, as part of a joint NRF/EU H2020 project, five conference participants continue staying at KAIST throughout August for further collaborative research

Aug 16 Segye Daily, “KAIST produces Korea’s first ..

(Pictured in the middle: School of Computing student Hanbyul Lee) Aug 16 Segye Daily, “KAIST produces Korea’s first 3 ‘Master Degrees of Startup’” Article in Korean: http://www.segye.com/newsView/20170814000382 Linked is an article on SoC student Hangyul Lee (advisor: Prof. DooHwan Bae), who received his Master’s Degree of Startup.