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)....Read more
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....Read more
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)...Read more
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....Read more
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....Read more
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....Read more
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！...Read more
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....Read more
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...Read more
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/...Read more
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....Read more
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
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....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
SoC Appoints Professors Hongseok Yang, Meeyoung Ch..
※ Pictured, from left to right: Professors Hongseok Yang, Meeyoung Cha, and Sooel Son We at the School of Computing welcome the appointment of Professors Hongseok Yang, Meeyoung Cha, and Sooel Son. □ Prof. Hongseok Yang was appointed a professor at the SoC as of July 24 His areas of interest include programming languages and machine learning A more detailed introduction is available on his page https://cs.kaist.ac.kr/people/view?idx=552&kind=faculty&menu=160 □ Prof. Meeyoung Cha was appointed a professor at the SoC as of Aug. 1 Her areas of interest include network science, computational social science, and statistical inference A more detailed introduction is available on her page https://cs.kaist.ac.kr/people/view?idx=418&kind=faculty&menu=160 □ Prof. Sooel Son was appointed a professor at the SoC as of Aug. 1 His areas of interest include web security & privacy, and web authentication A more detailed introduction is available on his page https://cs.kaist.ac.kr/people/view?idx=553&kind=faculty&menu=160 We extend our most sincere congratulations on their appointment....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
Silver in 7th TOPCIT Periodic Evaluation
Our very own School of Computing undergraduate student Seung Geun Baek (Advisor: Prof. Moonzoo Kim) won silver in the 7th TOPCIT Periodic Evaluation held jointly by the Ministry of Science and ICT, and the IITP. We extend our most sincere congratulations. Article in Korean: http://www.newstap.co.kr/news/articleView.html?idxno=56908...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] AI for human cooperation capab..
Linked is a 2017 June 26th Monday Korean article published by the Electronic Times on KAIST School of Computing Professor Sungeui Yoon’s lab and their work on automatic routing generation based on task scheduling, a part of action intelligence technology, which is in turn an essential part of smart robot development. http://www.etnews.com/20170623000120...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
Prof. Sungwon Kang Publishes Book on “Systematic S..
KAIST School of Computing Professor Sungwon Kang published a book on “Systematic Software Product Line Development” last June via Hongrung Publishing (475 pages). Prof. Kang’s previous works include “Invitation to Software Architecture; Principles and Fundamentals of Software Architecture Design” (also Hongrung, first print 2012, 2nd edition 2015, 271 pages), the first Korean scholarly journal in the field of software architecture. “Systemic Software Product Line Development” is also a first, being the first Korean scholarly journal in the field of software product line. The work presents a coherent and comprehensive approach to software product line development superior to existing journals, both inside and outside Korea. The book defines the fundamental principles, and offers case studies to demonstrate the principles. Software product line development is a development paradigm on developing multiple similar products simultaneously. The paradigm analyzes and maximizes the utilization of the common features within a product set to best utilize the similarities to produce high quality products with a low cost within a short time. The technique is indispensable in today’s software development, where the customers’ various needs must be addressed as quickly as possible. Prof. Kang is serving as the chair of the Korean Institute of Information Scientists and Engineers (KIISE) Software Engineering Society and the ACM Symposium on Applied Computing’s Software Architecture Track....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
Prof. Emeritus Kyu-Young Whang Presented Korea’s B..
This article is on our very own Professor Emeritus Kyu-Young Whang winning Korea’s Best Scientist / Technician Award. http://www.yonhapnews.co.kr/it/2017/07/03/2408000000AKR20170703049900017.HTML The award recognizes Koreans for outstanding, globally influential R&D achievements or technical innovations. The award acknowledged Prof. Whang’s accomplishments in developing technologies in the Korean computer science and software industries’ development and promoting information culture. Prof. Whang’s work in the field of database systems led to innovative theories and techniques in probabilistic statistics and close coupling. Probabilistic statistics deals with fast extraction of desired data, and close coupling leads to better performance in databases by deeply embedding information searching and spatial database functionalities in the engine. We would like to congratulate him on his success.....Read more
[KAIST Leads in AI] Deep Learning Based Intelligen..
The Electronic Times published an article on Professor Sungho Jo’s research on deep learning based intelligent robot vision technology. Article in Korean http://www.etnews.com/20170625000027...Read more
Drone-Based 3D Scanning Technology for Large Struc..
Pictured: KAIST SoC Prof. Sungho Jo (Left), and Ph.D. Student Soohwan Song (Right) Electronic Times published an article on research developed at our very own School of Computing Professor Sungho Jo’s lab. The article is on the development of a technology for rapid collection of a 3-dimensional model of a large structure and construction of a drone routing information using the data. Article in Korean http://www.etnews.com/20170614000297...Read more
Industry – Academia Cooperation Meetup Held
School of Computing Industry – Academia Cooperation Consortium (CCC) held a meetup last June 15 at the EL Tower Convention Center, Yangjae-dong, Seoul, with the topic “Software Vision for the 4th Industrial Revolution”. The event, hosted by our very own SW Education Center, aimed to develop closer ties between the SoC and the Consortium members via continued cooperation and the maintenance of the industry – academia cooperation system. Around 30 attended the event, including KAIST SoC professors and students attended the event, as well as executives from the Consortium member companies, including Naver, Hancom, and Golfzon. They presented recent trends in the field, and their analysis of them. The event was a good opportunity for professors, students, and industry to share ideas....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. http://www.etnews.com/20170602000166...Read more
KAIST SoC student’s online education platform star..
The following are news (in Korean) on elice, a start up by School of Computing Ph.D student Jaewon Kim (Advisor: Prof. Alice Oh). Via Maeil Business Newspaper: http://news.naver.com/main/read.nhn?mode=LSD&mid=sec&oid=009&aid=0003940349&sid1=001& On TJB: https://youtu.be/zVr_TjTnLKg...Read more
Bronze in the 41st ACM ICPC World Finals
The 41st ACM ICPC World Finals was held on May 25th, 9 AM Korean time, at Rapid City, South Dakota. The KAIST team won 9th place, winning a bronze and also scoring the First Problem Solver Award, given to the first team to solve a problem. ACM-ICPC, sponsored by IBM, is an international university level coding competition where the Korean representatives are selected after a Daejeon regional qualifier, followed by a Korean national qualifier, where teams of three solve 12 questions. Our very own KAIST team was coached by Prof. Sung Yong Shin (Professor Emeritus, School of Computing), with Prof. Taisook Han (School of Computing) providing on-site coaching. The team members were School of Computing undergraduates Jihoon Ko and Hanpil Kang, joined by Department of Mathematical Sciences undergraduate Jongwon Lee. The three students achieved excellent results in the competition. More information on the competition is available on the official website at https://icpc.baylor.edu/worldfinals/results...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