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...Read more
App that adjusts smartphone notifications accordin..
Pictured: KAIST personnel involved in the SCAN technology research effort. From the left, KAIST SoC Professors Sung-Ju Lee, Dongman Lee, and Juho Kim, Ph.D. student Cheonjong Park, and Samsung Electronics SW Center researcher Junsung Lim Our very own School of Computing Professors Sung-Ju Lee and Dongman Lee, with their respective research teams, developed technology to automatically detect the current user’s situation and adjust smartphone notification settings accordingly. The technology, which they call SCAN (Social Context-Aware smartphone Notification system, or Freedom from Notifications), was featured in an Aug. 7 iPnomics article. http://www.ipnomics.co.kr/?p=63868...Read more
KAIST SoC Associate Prof. Jinah Park Presents the ..
KAIST School of Computing Associate Professor Jinah Park presented the keynote at the 21st Medical Image Understanding and Analysis Conference (MIUA 2017) last July 11 through 13, held at John McIntyre Centre, Pollock Halls, Edinburgh, UK. The presentation was on “model-based approach to 3D shape recovery and analysis.” MIUA 2017 is a medical image analysis forum for experts in the field held every year in the UK, boasting attendees from various European countries as well as the US, Australia, and Asia. This year, of the 150 organizations attending the conference, 46 were not from the UK, and out of the 105 papers and 22 clinical abstracts submitted, 82 were from overseas. KAIST SoC Prof. Jinah Park was invited as a keynote presenter alongside Prof. Ingela Nyström (Uppsala University) and Prof. Daniel Rueckert (Imperial College London). The conference also invited Sir Michael Brady, a Professor at the University of Oxford, as the Honorary Guest Speaker. Prof. Jinah Park’s lecture was on her 3 dimensional modeling technique for extracting clinical understanding from clinical imaging data, a subject she has worked on for two decades....Read more
Best Paper in Robotic Planning at the Internationa..
KAIST School of Computing Ph.D. graduate Junghwan Lee, and M.S. student Heechan Shin (advisor: Prof. Sungeui Yoon) won the Best Paper in Robotic Planning award at the ICAR 2017, held last July 10 through 12 at Hong Kong. The award recognized their research on data-driven kinodynamic RRT. This research was on a method for constructing a database of known possible states and inputs of a kidonynamic robot’s movements for future reference, such that robots can simply search the database. By removing the need to calculate the inputs in real time, the research greatly reduces the computational load of robotic movement. Lee has a history of outstanding academic achievement, having published multiple papers at various internationally renowned journals and conferences during the course of his Ph.D. years, including the IEEE Transaction on Robotics (TRO), International Conference on Robotics and Automation (ICRA), and the International Conference on Intelligent Robotics and Systems (IROS). Advisor: Prof. Sungeui Yoon, 1 st Author: Junghwan Lee, 2 nd Author: Heechan Shin IICAR 2017 Website: http://www.ee.cuhk.edu.hk/~qhmeng/icar2017/index.htm We offer our most sincere congratulations on their success....Read more
KAIST SoC Prof. Meeyoung Cha Invited as Keynote Pr..
KAIST School of Computing Professor Meeyoung Cha presented the keynote for the IEEE/ACM International Conference on ASONAM (Advances in Social Networks Analysis and Mining) with a talk on “The Propagation of Rumors and Fake News”. The conference, held this Aug 1 through 3 at Sydney, Australia, awarded Prof. Cha a plaque of appreciation for her services. The keynote presented an AI based method for detecting fake news online, and the validation of the theory using sociology. This research pointed out the problem that social media, being devoid of any fact checking stage, might propagate false information as if it was true, especially in a society where phones and social media enable a convenient and habitual consumption of information. The research team examined this social phenomenon scientifically, thus proposing a big data and AI algorithm based unsupervised method for online information credibility assessment. The research results were published on various renowned conferences and journals, including ICDM, IJCAI, and PLoS One....Read more
Mobile smart device platform for app functionality..
Linked are articles on School of Computing Professor Insik Shin’s lab and their development oㄹ mobile platform technology for sharing app functionalities on a smart device. The research paper was also published on ACM MobiSys. Articles in Korean. Segye Daily, 2017 July 28: http://www.segye.com/newsView/20170726003462 Sedaily, 2017 July 26: http://www.sedaily.com/NewsView/1OIMI5D8UD Herald Business, 2017 July 26: http://biz.heraldcorp.com/view.php?ud=201707260002...Read more
SoC Students Win ACM GECCO Humies Silver Award
A KAIST School of Computing research team led by Professor Shin Yoo won the 2017 Human Competitiveness Award (Humies) Silver Award at Genetic and Evolutionary Computation Conference (GECCO), a conference held by ACM SIGEVO. The event recognizes human parity achievements in research by evolutionary computation. Prof. Yoo’s research contribution involved machine learning based defect location technology (technology for automatically finding defective code found during software testing), which is on parity with existing methods researched by man, and also proved via machine learning that a more accurate method does not exist. Prof. Yoo provided the core elements of the theoretical proof, as well as led an international research team composed of researchers from China’s Wuhan University, Australia’s Swinburne University of Technology, and Briton’s University College London, and then submitted the paper to ACM Transactions on Software Engineering and Methodology in the Humies track. Fourteen teams competed in this year’s Humies track, out of which 9 passed the final selection from a panel of judges. The gold award went to a University of Sidney research team for using genetic algorithms for explaining the causal model of recent quantum entanglement research results. The bronze went to two teams, for a technology to optimize a structure’s truss arrangement, and a technology to optimize A/B testing on websites to maximize customer loyalty. ACM GECCO is a large scale conference with a proud 20 year history in the field of genetic and evolutionary computation research. Its 13 tracks cover various topics, including genetic and evolutionary computation, artificial life, artificial immune systems among others, and welcoms topics on both theory and application. This Humies Award was the 14th such award, created by ex-Stanford Professor John Koza, who greatly contributed to the research of evolutionary computation. Entries must prove via research papers that their evolutionary computation technique shows human parity in their performance in a specific field. Prof. Yoo is a world renown expert in the field of search based software engineering, which uses evolutionary computation techniques to solve software engineering problems....Read more
Reading emotions with AI： emotion analysis AI syst..
Linked is a 2017 July 12 article about Professor Sungho Jo on the Electronic Times. Article in Korean: http://www.etnews.com/20170712000212...Read more
KAIST Computer Graphics enters world top 20
KAIST became the first Korean university to have one of the world’s top 20 Computer Graphics research institutes, based on the number of papers published in the last 2 years in the top 3 CG conferences. KAIST School of Computing undergraduate CG lecture professors (CS380, by professors Min H. Kim, Jinah Park, and Sungeui Yoon) participated in a survey to mark this occasion. The survey was presented at Eurographics 2017, one of the top 3 graphics conferences alongside ACM SIGGRAPH and SIGGRAPH Asia. The presentation contained content from Prof. Kim’s undergraduate level lecture, which can be found at http://vclab.kaist.ac.kr/cs380/. We extend our most sincere congratulations. [Reference] [Reference] “What we are teaching in Introduction to Computer Graphics”, Balreira, Dennis G.; Walter, Marcelo; Fellner, Dieter W., Proc. Eurographics 2017, The Eurographics Association, http://diglib.eg.org/handle/10.2312/eged20171019 [Eurographics Presentation] http://wiki.inf.ufrgs.br/What_we_are_Teaching_in_Introduction_to_Computer_Graphics...Read more
[KAIST Leads in AI] ＜5＞ Deep Learning, the Pearl o..
The Electronic Times published a Korean article on 2017 May 14th on KAIST School of Computing Professor Sungeui Yoon’s lab and their work on “web-scale image search technology”, which introduced deep learning to big data. http://www.etnews.com/20170512000216...Read more
[KAIST Leads in AI] ＜Epilog＞ SoC at the Center of ..
Linked is a 2017 July 10 article published by the Electronic Times (in Korean). http://www.etnews.com/20170710000276?SNS=00002&rccode=lvRc...Read more
[KAIST Leads in AI] KAIST SoC Widens the Frontiers..
Linked is a 2017 July 10 article published by the Electronic Times (in Korean). http://www.etnews.com/20170710000277...Read more
[KAIST Leads in AI] AI ＆ SW at the forefront of th..
Linked is a 2017 July 10th Electronic Times article on the School of Computing. Article in Korean: http://www.etnews.com/20170710000278?SNS=00002&dable=10.1.4...Read more
SoC Students Win KCC 2017 SW Development Contest’s..
Our very own KAIST School of Computing Ph.D. course students Youngsun Kwon and Taeyoung Kim (both under advisor Prof. Sungeui Yoon) won the Microsoft Research Award and first prize, respectively, at the KCC 2017 SW development / demo contest held last June 20th. The event, held in Jeju Island by the Korea Computer Congress, awarded their presentations of “Real-time updates for occupancy maps”, and “Illumination invariant color space computation using principal component analysis”, respectively. Mr. Kwon, who won the MS Research Award, won 2,000,000 KRW as a member of the Robotics-SGLab Team, and also won an internship at MS Research. Mr. Kim, the winner of the first prize, won 1,000,000 KRW as a member of the SGLab Imaging / Vision Team. We extend our congratulations on their success....Read more
HCI＠KAIST Group Reception (CHI 2017)
HCI＠KAIST Group held a reception at the AC CHI 2017 conference last May 10 in Denver, Colorado. The event aimed to increase interaction between HCI researchers. The School of Computing sponsored event hosted by HCI＠KAIST Group, looked to expand international HCI researcher networks, attracting outstanding HCI faculty, garner more opportunities for student internships, among others. Around 180 HCI researchers attended the event, from over 13 foreign universities including MIT, CMU, Stanford, as well as from the industry including Microsoft Research, Apple, and Google, who came together and mingled until late. HCI＠KAIST Group also performed admirably at the main event, with 7 presentations, 8 poster sessions, and 6 exhibitions at CHI 2017....Read more
SoC Prof. DooHwan Bae Wins ICSE 2020 for Seoul
School of Computing Professor DooHwan Bae attended the Steering Committee of the 39th International Conference on Software Engineering (ICSE), and confirmed the 2020 event will be at Seoul. The conference lasted from last May 20 to 28 at Buenos Aires, Argentina. The 2020 late May ICSE at Seoul will be the 42nd event, and will be held jointly by the ACM/IEEE and the KIISE (Korean Institute of Information Scientists and Engineers), a departure from previous ICSE events. The event is expected to contribute to the globalization of Korean software engineering search, engineers, and researcher, as well as their research and development talents. ICSE normally hosts 1400 – 1500 researchers and practitioners as the world’s foremost conference in the field of software engineering. The event includes 7 other collocated conferences in addition to the main conference, as well as approximately 20 workshops. A combined total of around a 1000 papers are submitted, of which the main conference’s research track receives 500 to 600, of which around 70 are and presented. We congratulate the successful attraction of the largest SE conference in 2020....Read more
SoC Prof. Sungho Jo Researches Technology to Contr..
The Electronic Times published an article on our very own School of Computing Professor Sungho Jo’s Research on AI and drones, which led to a variety of ways to control equipment. Article in Korean....Read more
Prof. Min H. Kim Awarded Top 10 Distinguished Rese..
Our very own School of Computing Professor Min H. Kim won a Top 10 Distinguished Research Achievements of KAIST award during the 2017 KAIST Research Day, held Tuesday morning at KI building’s Fusion Hall. The award recognized his contributions to KAIST, citing his research in “birefractive stereo imaging for single-shot depth acquisition”. We sincerely congratulate him on his accomplishment....Read more
KAIST to develop quantum computer proof ‘fully hom..
Below is an article on School of Computing Professor Kwangjo Kim’s efforts on developing ‘fully homomorphic crypto-signature’ to prepare us for the age of quantum computing. (in Korean) http://www.etnews.com/20170509000056...Read more
KAIST Professor Kwangjo Kim becomes the first Kore..
Following is a link to the ET News article on Professor Kwangjo Kim, the first Korean International Association for Cryptologic Research Fellow. http://www.etnews.com/20170501000100...Read more
Prof. Insik Shin awarded Samsung Future Technology..
Our very own School of Computing Professor Insik Shin was awarded Samsung Future Technology Promotion Project, Creative ICT Component. The project launched in 2013 to provide support for basic research, material science, and ICT, with 1.5 trillion won of funding for 10 years. Prof. Shin was awarded the project for: “SecureBox: development of a TEE-based secure system in a cloud / machine learning service environment for user privacy protection”. We congratulate him on the selection. http://www.ebn.co.kr/news/view/885637...Read more
Prof. Kwangjo Kim designated International Associa..
Following is an article on how our very own Prof. Kwangjo Kim became the first Korean to become an International Association for Cryptologic Research (IACR) Fellow. Since 2004, the IACR has selected 2 to 6 members a year as IACR Fellows for their major contributions to and the promotion of scholarly activities in the field of cryptologic research. Prof. Kwangjo Kim is the first Korean to receive such an honor We most sincerely congratulate him on his success. Article (in Korean): http://www.zdnet.co.kr/news/news_view.asp?artice_id=20170313102345&type=det&re=#csidx2f36e03266f76a9bcd32fe513302471...Read more
Three KAIST SoC papers presented at ACM CSCW 2017
Three papers by KAIST SoC students Jung Guk Park (Doctorate, advisor: Prof. Alice Oh), Chunjong Park (M.S., advisor: Prof. Sung-Ju Lee), and Bumsoo Kang (Doctorate, advisor: Prof. Junehwa Song) were presented at CSCW 2017. The 20th ACM Conference on Computer-Supported Cooperative Work and Social Computing, held from last Feb. 25th to Mar. 1st, is one of the best conferences in HCI (Human Computer Interaction) and Social Computing. CSCW focuses on research on designing and utilizing technologies for groups and communities, and has a long history of being considered one of the best conferences for HCI and Social Computing. KAIST School of Computing led global research efforts in said fields, presenting three papers this year. The paper from Prof. Alice Oh’s lab was by Jung Guk Park, presenting a system that shows how a piece of code was written, letter by letter, for students that have problems understanding others’ code during SoC class peer assessments. The paper received an Honorable Mention Award. Alumnus Chunjong Park presented a technology to detect breaks between social activities via various smartphone sensors, and notify the user of such events. This was in an effort to prevent smartphones from becoming inconveniences hampering social interaction. The paper was a collaboration between the labs of Professors Sung-Ju Lee, Dongman Lee, and Juho Kim. Bumsoo Kang presented a mobile app that reads books to babies in their parent’s voice, using the small bits of unused time during a working day. This paper was a collaboration between the labs of Professors Junehwa Song, Sung-Ju Lee, and an IBM lab in the US. Eliph: Effective Visualization of Code History for Peer Assessment in Programming Education Jungkook Park, Yeong Hoon Park, Suin Kim, and Alice Oh “Don’t Bother Me. I’m Socializing！”: A Breakpoint-Based Smartphone Notification System Chunjong Park, Junsung Lim, Juho Kim, Sung-Ju Lee, and Dongman Lee Zaturi: We Put Together the 25th Hour for You. Create a Book for Your Baby Bumsoo Kang, Chulhong Min, Wonjung Kim, Inseok Hwang, Chunjong Park, Seungchul Lee, Sung Ju Lee, and Junehwa Song...Read more
SIGPL Winter School 2017
SIGPL Winter School 2017, chaired by Professor Sukyoung Ryu, was held from February 8 to 10 at the 1st Common Lecture Hall, School of Computing, KAIST. SIGPL hosts Summer/Winter School every year giving lectures on programming languages from the fundamental research topics to the latest research topics. A total of 120 participants including students, professors, researchers etc. were at the winter school which was sponsored by KAIST SW Oriented University....Read more
Prof. Dae Young Kim launches joint research with t..
Our very own Professor Dae Young Kim and his research team launched a joint research with the European Union (EU) on developing and establishing an open standard and architecture for an integrated Internet of Things (IoT) global produce business ecosystem as a part of The Internet of Food & Farm 2020 (IoF2020). Article (in Korean): http://www.sedaily.com/NewsView/1OAURXDKKL...Read more
KAIST School of Computing Professor Dongman Lee aw..
Our very own School of Computing Professor Dongman Lee was awarded the Individual Contribution Award at the 11th Korea Internet Award, an event held by the Ministry of Science, ICT, and Future Planning last Dec. 13th at the Gyounggi Creative Economy Innovation Center. The ceremony awards corporations, institutes, organizations, and individuals that made contributions to the Internet industry and social development in Korea. Prof. Lee has been appointed as the Chair of the Korea Internet Governance Alliance (KIGA), which has contributed to strengthening Korea’s international influence by participating in various domestic and international Internet governance activities, such as researching Internet governance policies, holding the Asia-Pacific regional Internet Governance Forum (APrIGF), among others. Furthermore, KIGA is contributing to laying the foundation for an IoT ecosystem by pushing for research, such as the research on a connected objects platform for personalized services in an IoT environment. Prof. Lee has continued to do research in the Internet of Things (IoT) platform since 2010, publishing 5 papers in SCI-tier journals, over 30 papers in recognized international conferences, over 10 papers in domestic publications, and applied for over 11 patents. In addition, he has established a working Internet of Things testbed environment on the 8th floor of the IT Convergence Center (N1). This allows various experiments to collect data, acting as a foundation for research on a global scale....Read more
KAIST Center for Mobile Software Platform was awar..
KAIST Center for Mobile Software Platform (Head: Prof. Seungryoul Maeng) developed “UX Centric Mobile SW Platform”, designed to assist the development of next generation UX service technologies. During the commissioned research project, the Center has applied for 37 patents, both foreign and domestic, out of which 15 have been granted, while winning the best paper awards 10 times from various international academic conferences, and publishing 133 papers in Korea and internationally. In recognition of such results, they were awarded the Minister of the Ministry of Science, ICT, and Future Planning Award during the 2016 SW R&D Research Results Conference (2016 Nov. 29, COEX Grand Ballroom 105), an event hosted by the Ministry and the Institute for Information & Communication Technology Promotion (IITP). “UX Centric Mobile SW Platform” was designed with the advent of new services with new UX, and SW talent education in mind, providing an extensible situation processing platform expected to conserve device power....Read more
Crowdsourcing based global indoor localization sys..
School of Computing Intelligent Service Lab (Prof. Dong-Soo Han) announced that they have developed a system for providing global indoor localization using Wi-Fi signals. The technology uses numerous smartphones to collect fingerprints of location data and label them automatically, greatly reducing the cost of constructing an indoor localization system while maintaining high accuracy. The method can be used in any building in the world, provided the floor plan is available, and there are Wi-Fi fingerprints to collect. To accurately collect and label the location information of collected fingerprints, the research team analyzed indoor space utilization. This led to a technology that classified indoor space in to places used for stationary tasks (resting spaces), and spaces used to reach said places (transient spaces), and separate algorithms to optimally and automatically collect location labelling data. A few years ago, the team has also implemented a means of automatically labelling resting space locations from collected signals in various contexts such as homes, shops, and offices via the users’ address information. The latest one allows for the automatic labelling of transient spaces’ locations such as hallways, lobbies, and stairs using unsupervised learning, also without any additional location information. Testing in KAIST’s N5 building and the 7th floor of N1 building proved the technology is capable of 3 to 4 meter accuracy given enough training data. The accuracy is comparable to technology using manually labeled location information. Google, MS, and other multinational corporations collected tens of thousands of floor plans for their indoor localization projects. Indoor signal map collection was also attempted but proved more difficult. As a result, existing indoor localization services were often plagued by inaccuracies. In Korea, COEX, Lotte World Tower, and other landmarks provide comparatively accurate indoor localization, but most buildings suffer from the lack of signal maps, preventing indoor localization services. Professor Dong-Soo Han claims that “This technology allows easy deployment of highly accurate indoor localization system in any building in the world. In the near future, most indoor spaces will provide localization services, just like outdoor spaces.” He further added that although smartphone collected fingerprints were left unutilized and discarded to date, the development of an application for the data will create a new field of wireless LAN big data fingerprinting. This new indoor navigation technology is likely to be valuable to Google, Apple, or other global firms providing indoor localization information for the whole world. Nonetheless the technology will also be valuable for Korean localization service firms for domestic localization services. Prof. Han added that “the new global indoor localization system deployment technology will be added to KAILOS, KAIST’s indoor localization system.” KAILOS was released in 2014 as KAIST’s open platform for indoor localization service, allowing anyone in the world to add floor plans to KAILOS, and add the building’s signal fingerprint data to help create a universal indoor localization service. As localization accuracy improves in indoor environs, despite the absence of GPS signals, applications such as location based SNS, location based IoT, and location based O2O are expected to take off, leading to various improvements in convenience and safety. Integrated indoor-outdoor navigation service is also visible on the horizon, fusing vehicular navigation technology with indoor navigation. [그림] 무선랜 핑거프린트 기반 스마트폰 실내 위치인식 [그림] 불특정 다수의 스마트폰을 통해서 수집된 핑거프린트의 수집 위치를 자동으로 라벨링하는 자율학습 기법 [그림] KAIST Indoor Locating System (KAILOS) 응용 서비스 및 관련 기술...Read more