Most Influential Paper Award at ACM POPL 2023, a t..
Together with Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, and Matthew Parkinson, Hongseok Yang at KAIST received the ACM SIGPLAN Most Influential POPL Paper Award at POPL 2023 for their paper "Views: Compositional Reasoning for Concurrent Programs", which they presented at POPL 2013. POPL is a top international conference in programming languages. This annual award is given to the authors of the most influential paper among those published at POPL ten years ago....Read more
Professor Kyunghyun Cho Won Proud Alumni Award
관련기사 원문보기 Kyunghyun Cho, a professor of computer science at New York University, was selected as the proud alumni award in 2023. He received Bachelor's Degree from KAIST School of Computing in 2011. The Alumni Award is given by the Alumni Association to alumni who have contributed to the development of the country and society or have honored their alma mater with outstanding academic achievements and social services. It has been selected winner annually since 1992. Professor Kyunghyun Cho is a world-renowned expert in artificial intelligence (AI) and is recognized for his contribution to the development of artificial intelligence translation and related industries by developing the concept of "Neural Network Machine Translation" in the field of Natural Language Processing....Read more
IWAIT＆IFMIA 2023 Keynote Speech
Professor Jinah Park of KAIST School of Computing delivered a keynote speech at The International Forum on Medical Imaging in Asia (IFMIA) held in Jeju from January 9 to 11, 2023. IFMIA is an academic conference in which researchers from various Asian countries exchange recent research in the field of medical imaging, and has been held every two years since 2007, and this year held in collaboration with the International Workshop on Advanced Image Technology (IWAIT) conference. Professor Jinah Park, a co-keynote speaker at IWAIT/IFMIA, drew attention by giving a lecture titled "How would AI put an elephant into a fridge?" Related reference: https://ifmia2023.thinkonweb.com/keynoteSpeaker...Read more
Best Paper Award at International Conference on Me..
At "The 3rd International Conference on Medical Imaging and Computer-Aided Diagnosis" (MICAD), which was held as a hybrid at the University of Leicester in the U.K. from November 20th to 21st, Jihoon Cho (PhD program) (advised by Jinah Park) received "Best Paper Award" with his paper "Hybrid-Fusion Transformer for Multisequence MRI". The MICAD International Conference was approved by the MICCAI Society, the world's leading medical image computing and computer-assisted medical intervention association, for this year's 2022 conference. The conference covers various fields, such as medical imaging, electronics, computer-assisted diagnostics, physics, and machine learning that connect computer science and medical feild. MRI, which non-invasively photographs the inside of the body and reconstructs the inside of the body into a three-dimensional image, is photographed through various protocols depending on the filming site and purpose. The MRI taken in this way consists of several MRI sequences, and the characteristics shown by each sequences are different. Therefore, integrating these characteristics is the key in medical analysis. In this study, the research team proposed a Hybrid-Fusion method that integrates features between multiple MRI sequences and use it to build a training model, and demonstrate the excellence of the study through quantitative and qualitative evaluation. The results of this study proved their excellence in that MRI has contributed to the development of more advanced medical analysis methods as it is mainly used in various disease analysis....Read more
Professor Minhyuk Kim won the Best Invention Award..
Minhyuk Kim, a professor of computer science at KAIST, was selected as the best prize at the "10th Industrial-Academic Research Project Excellent Invention" award held by SK Hynix. Professor Minhyuk Kim, who was selected as the best prize, developed a technology to reduce noise related to CIS (CMOS image sensor) video. The technology was highly evaluated because it is likely to be applied to actual products. In addition, Hanyang University professor Jaedeok Han was selected for the Excellence Award, Seoul National University professor Namik Cho, Kyung Hee University professor Woojin Jeon, and Sungkyunkwan University professor Donghee Lee were selected for the Encouragement Award. SK Hynix has been selecting outstanding patents from among patents filed while performing research projects at the University of Industry-Academic Cooperation and awarding them every year since 2013. (Reference) https://m.yna.co.kr/amp/view/AKR20221202083400003...Read more
Fluiz, founded by professor Insik Shin, won the CE..
KAIST start-up company Fluiz CES Innovation Award for New Technology for Smart Device Connectivity KAIST research team's technology, which won the best thesis award, won the CES Innovation Award one after another... Had their cake and ate it, which are technical and commercial Fluiz Inc., a startup founded by KAIST professor Insik Shin, won the CES 2023 Innovation Awards in the Software & Mobile Apps at the CES 2023, the world's largest new technology fair. The next-generation multi-device mobile platform FLUID (FLUID: Next-generation Multi-device Mobile Platform) developed by Fluiz is the world's first multi-device mobile platform that allows existing mobile apps that were used only within one smart device to be organically distributed across multiple smart devices. Typically, multiple UI (User Interface) elements of an app can be freely distributed and used on multiple devices, which is expected to evolve the existing mobile ecosystem that was stuck in a single-device-centered UX into a new multi-device paradigm. One of the innovative advantages of FLUID is that it does not require code modification to existing mobile apps. One of the innovative advantage of FLUID is that it does not require code modification to existing mobile apps. FLUID can immediately expand mobile apps on the market to a multi-device environment because the platform itself provides multi-device UX without modifying any code of existing mobile apps. Professor Insik Shin published "FLUID: Flexible User Interface Distribution for Ubiquitous Multi-device Interaction", which is about the technology used in the platform, at ACM MobiSys, MobiCom, the world's most prestigious academic societies in mobile communication and computing, and won the "MobiCom Best Paper Award" in September 2019 for the first time in Korea. Professor Shin In-sik established Fluiz, a KAIST startup, to commercialize the technology developed in the research, and will participate in this CES 2023 with the help of KAIST Industrial-Academic Cooperation Center....Read more
Won Grand Prize in the Cryptographic Analysis Cont..
On October 13, 2022 (Thu), students of KAIST (President Lee Kwanghyung), Changwan Park (Bachelor of Electrical and Electronic Engineering), Seungki Min (Bachelor of Chemistry), Yoobin Choi (Bachelor of Computer Science), and Jae-woong Lee (Bachelor of Computer Science) won the grand prize at the 8th Cryptographic Analysis Competition in 2022 (Team Name: KAIST GoN) . The Cryptographic Analysis Competition is a competition hosted by the Defense Cryptographic Specialization Research Center and sponsored by the 777 Command to develop cryptographic analysis technology and find talent in the field of cryptographic decryption. The 2022 Cryptographic Analysis Competition was divided into seven categories: symmetric key cryptography, blockchain, password optimization on embedded systems, side channel attacks on ciphers, hash functions, and post-quantum cryptography. Team KAIST GoN won the Grand Prize which is the Minister of Defense Award for excellence in cryptographic optimization and post-quantum cryptography. The GoN club team recently ranked first at the international hacking defense competition "Codegate 2022"....Read more
Won 1st Place in the International Hacker Defense ..
It is an article about the club from our department, GoN ranked first at the international hacking defense competition "Codegate 2022” in university division. The Ministry of Science and ICT (Minister Lee Jongho) held “Codegate 2022”, an international hacking defense competition, at COEX from November 7th (Mon) to 8th (Tue) to discover the highest level of white hackers who will be in charge of cyber safety in the era of digital transformation. The “Codegate 2022”, which started in 2008 and marks its 14th competition this year, is an international hacking defense competition where the world's best white hackers compete, and was held offline for the first time in three years after the 2019 competition. ＊ Due to COVID-19, the 2020 online competition was held, and the 2021 competition was canceled 2,647 teams from 48 countries attended the competition in the general division, 225 teams from eight universities in Korea in the university division, and 196 people from 27 countries in the junior division participated in the two-day heated competition. In the general division competition, Korea's "The Duck" team won the Science and ICT Minister's Award and 30 million won in prize money, while the KAIST's "GoN" team won the university division, and the Korea Digital Media High School's "Huh Seunghwan" the junior division received the Science and ICT Minister's Award and 5 million won, respectively. At the global security conference held as a side event, domestic and foreign cybersecurity experts gave lectures on the security paradigm of the future digital environment, including quantum resistant cryptography, zero trust, and metaverse security, under the theme of "New Era, New Threat: Reorganization of Cybersecurity Strategy" In addition, in the hacking experience zone, ordinary participants joined an event to experience hacking and recognize the importance of cybersecurity through blockchain hacking, security vulnerability experience, and CTF hacking competition experience events. The minister of the Ministry of Science and ICT, Lee Jongho, said, "Our daily lives have become more convenient as new technologies such as smart homes and self-driving cars are introduced due to the spread of the digital environment, but cyber threats have directly affected our lives beyond staying in cyberspace." The government also said, "We are actively pursuing a ’A Hundred Thousand Cyber Talent Training Plan' to foster competent human resources who will be responsible for cybersecurity," and asked participants to "play a key role in the safety and development of cyberspace in the future."...Read more
Daejeon Metropolitan Office of Education-KAIST sig..
This is a press article about the business agreement with Daejeon Metopolitan Office of Education and KAIST SW Education Center, headed by Professor Bae Doohwan of Department of Computing in order to promote AI·SW education and foster human resources in elementary, middle, and high schools. Daejeon Metropolitan Office of Education (Superintendent Seol Dongho) announced that they signed a business agreement with KAIST SW Education Center (Center Director Bae Doohwan) at 10 a.m. on October 27 (Thursday) in the meeting room #1 of KAIST's main building to promote AI, SW education, and human resources. The agreement plans to prepare and cooperate with the Daejeon Metropolitan Office of Education and KAIST SW Education Center to ensure that AI and SW education for fostering digital basic skills can be settled stably in elementary, middle and high schools in Daejeon Metropolitan City. Major agreements include △programming education at schools, △managing AI and SW education volunteer groups , and △ supporting professional training for teachers in Computational Thinking/AI/Data Science. In particular, it is expected to expand mutual cooperation projects by managing educational activities linked to the information curriculum, experience-oriented programs to facilitate AI and SW, and organizing and operating professional training to cultivate teachers' computing thinking and data analysis skills. Seol Dongho, superintendent of the Daejeon Metropolitan Office of Education, said, "Through a business agreement with our education office and KAIST SW Education Center, it is expected to foster digital basic skills and facilitate AI and SW education as core competencies for future generations." Reference: e-빠른뉴스(e-fastnews)(http://www.e-fastnews.com) 연합뉴스(https://www.yna.co.kr/view/PYH20221027198200063?input=1196m)...Read more
＇KAIST Auto-ID Lab Busan Innovation Research Insti..
Source: Reporter Lim Dongsik of the Electronic Times https://n.news.naver.com/article/030/0003054093 This is an article about the opening of the KAIST Auto-ID Lab Busan Innovation Research Institute, which is led by Professor Kim Daeyoung of our Department of Computer Science. KAIST Auto-ID Lab Busan Innovation Research Institute opened at Dongseo University Centum Campus in Haeundae-gu, Busan on the 25th. Seven researchers reside in the institute and carry out various research activities and education and support activities for local companies based on international standards for digital transformation. Major projects include △ international standard educational materials development △ local corporate education such as conferences and seminars △ joint research and development of services through visiting research institutes △ supporting local companies through cooperation with local companies, universities, and institutions △ carrying national R&D projects related to local industries such as marine, logistics, fisheries, and healthcare. Busan City and KAIST signed a business agreement in March and promised to open the Busan Innovation Research Institute. KAIST Auto-ID Lab held a "Digital Transformation Conference Busan 2022" in BEXCO from the 13th to the 14th, shared digital transformation cases such as digital twin, digital transformation international standard, marine and logistics, K-address, smart city, and smart fisheries, and signed business agreements with local companies. KAIST President Lee Kwanghyung said, "In the digital transformation upheaval, Korean companies should build an innovative convergence ecosystem using digital transformation international standard technology and promote super-gap growth. The Busan Innovation Research Institute said, "We will be a reliable partner for Busan companies to grow into global digital companies." Busan Mayor Park Hyungjoon said, "KAIST Auto-ID Lab is a new role model for Local Company-Academic Cooperation. I hope the introduction of international standards will lead to the digital innovation of Busan, which is a logistics and port-oriented city," he said. KAIST Auto-ID Lab is an international joint research institute affiliated with GS1, a private international standard organization (headquarters, Belgium, and Brussels) established in 2005 as a project to attract excellent overseas research institutes by the Ministry of Information and Communication. Based on digital transformation technology standards such as open source barcode(Oliot), RFID, and Internet of Things (IoT), Auto-ID lab is doing research activities and supporting digital transformation such as Busan Smart City (Eco-Delta City), the Ministry of Public Administration address system advancement, and the Ministry of Maritime Affairs Fisheries' seafood history system...Read more
KAIST Auto-ID Lab hosts ＇Digital Transformation C..
This is a press release of the "Digital Transformation Conference Busan 2022" hosted by KAIST Auto-ID Lab, which is headed by Professor Kim Daeyoung of the Department of Computing. KAIST (President Kwanghyung Lee) announced that Auto-ID Lab (Center Director Daeyoung Kim) will host the 'Digital Transformation Conference Busan 2022' at BEXCO Busan for two days from the 13th. The event which is co-hosted by Busan, is designed to discuss strategies and present visions for Korea's major industries such as shipbuilding, port, shipping, logistics, fisheries, and smart cities to prepare for the digital transformation era. Six sessions and four keynote lectures will be held for two days, including ▴Digital Twin and Metaverse ▴International Standards, Digital Transformation ▴Maritime and Logistics industry ▴K-address and innovative growth industry ▴Smart city ▴Smart fisheries. 24 experts will participate to share the current status of technology trends, global markets, and international standards. On the first day, Jaebung Choi, a professor of mechanical engineering at Sungkyunkwan University, and Jungwoo Ha, head of Naver AI Lab, will be keynote speakers and give lectures on "Three Things to change in the Metaverse Era" and "AI Research in Industry", respectively. The next day, Byungmin Ahn, CEO of 열린비즈랩, will give keynote lectures on "Digital Customer Experience Innovation and Servitization" and "Autonomous Driving Industry and Mobility" by Kumin Jung, a professor of electronic engineering at Kookmin University. In addition there would be an opportunity to accelerate digital transformation and create innovative growth industries by supporting communication between industries and academia. On the 13th, the first day of the event, Datagen, Tech Chain Labs, Orium, and YYSoft, which specialized in blockchain, and Intown, a smart manufacturer, will sign an industry-academic cooperation (MOU) with Auto-ID Lab. Busan Mayor, Hyungjoon Park said, "Digital transformation is the destiny of this era, a key value for leading the future, and will be a great driving force realizing 'Green Smart City Busan' and 'Digital Innovation City Busan'." Daeyoung Kim, professor of computer science at KAIST, and also the chairman of the organizing committee, stressed, "In a period of upheaval when digital changes increasingly exponential, Korean companies should build an innovative convergence ecosystem using international standard technology to promote super-gap growth." Professor Kim added, "I hope this event, which is set as a venue for information exchange and discussion, will serve as an opportunity to draw cooperation from local governments, industries, and academia." Meanwhile, Auto-ID Lab is an international joint research institute that collaborates with GS1, a non-profit private international standard organization (Headquarters Belgium and Brussels). It is operated by six universities, including KAIST Auto-ID Lab, MIT in the U.S., Cambridge University in the U.K., Federal University of Zurich in Switzerland, Keio University in Japan, and Fudan University in China. KAIST signed a business agreement with Busan in March and plans to establish the KAIST Auto-ID Lab Busan Innovation Research Institute this month as part of industry-academic cooperation to distribute international technology standards to local companies. Applications and detailed information for participation in the "Digital Great Transformation Conference Busan 2022" can be found on the event website (https://dxcbusan2022.oliot.kr/)....Read more
Dr. Jaeseung Choi was appointed as an assistant pr..
Dr. Choi Jae-seung, a graduate of KAIST's Graduate School of Information Security, was appointed as an assistant professor of computer engineering at Sogang University as of September 2022. Dr. Choi Jae-seung received his doctorate in February 2022 from Professor Cha Sang-gil's software security laboratory, and later served as a senior researcher at KAIST Cyber Security Research Center. During the degree process, Dr. Choi Jae-seung conducted a study on automatically finding vulnerabilities in software, and published his thesis as the first author at ICSE and ASE, a top conference in software engineering, and S&P, a top conference in security. Dr. Choi Jae-seung will continue his research at Sogang University to find software vulnerabilities using technologies such as fuzz testing, static analysis, and symbolic execution. Dr. Choi's detailed introduction to his research fields and achievements is at : https://islab-sogang.github.It...Read more
Dr. Jieung Kim was appointed as an assistant profe..
Dr. Jieung Kim (Master's degree at KAIST, Doctor's degree at Yale University) was appointed as an assistant professor at Inha University from September 1, 2022. After graduating from Sungkunkwan University's Department of Computer Engineering, Dr. Jieung Kim received a master's degree from KAIST's School of Computing (advisor: Seokyoung Ryu) and Ph.D. from Yale University with his thesis "Modular and Compositional Development of Certified Concurrent Software Systems". Dr. Jieung Kim worked as a research engineer at Google Korea (Google Research and Google Core ML team), and was in charge of developing a virtual machine type verification project for Andriod system, HW/SW intergration design specialized in machine learning in IoT environment, and developing library optimized for machine learning model in tensorflow. Dr. Jieung Kim will continue to develop practical formal verification methods to improve the security and saftey of software, and appy them to formal verification of OS, distributed system, blockchain, TPU accelerator compiler, and machine learning libraries....Read more
Dr. Pilsu Jung was appointed as an assistant profe..
Dr. Pilsu Jung (advisor: Sungwon Kang) was appointed as an assistant professor at Gyeongsang National University. After graduating from Chungnam National Universiy's Department of Computer Engineering, Dr. Pilsu Jung received his master's degree from KAIST School of Computing, and received his doctorate in August with research about "code-based automatic test for efficient product line regression testing" Dr. Pilsu Jung worked as a senior researcher at Samsung Electronics' Innovation Center for two years and was in charge of SSD firmware regression tests using large-scale test date. He will continue his research in data-based software quality analysis and testing, and conduct convergence research between aerospace domatins and software engineering....Read more
Jeon Gil-Nam ˝Korea is losing the global Internet ..
Hankyung interview Jeon Gil-Nam, an honorary professor at KAIST, who was the ‘leading role of opening the Internet' 40 years ago Even though Korea is a leader in IT, our companies only target the domestic market. The Korean government has to encourage start-ups to target overseas from the starting point. If Korea wants to win the Nobel Prize, people should try many other awards. We need a system engineering approach to foster talented people like Professor Heo Jun. In May 1982, the computer development office in the Korea Electronics Technology Research Institute (formerly the Korea Electronics and Telecommunications Research Institute) in Gumi, Gyeongsangbuk-do, was so tense that even the sound of breath was barely heard. When the word "SNUCOM," which means Seoul National University computer, appeared on the monitor, the researchers clapped their hands and cheered. It was a message from the Seoul National University laboratory, 250 kilometers away from Gumi. It is the first 'moment of Internet connection' in Korea. It was the second time in the world after the United States. The person who led the project is Jeon Gil-Nam, an honorary professor at KAIST, who is ‘the father of the Korean Internet.' Jeon, who was born in Japan, graduated from Osaka University and received a doctoral degree in system engineering from the University of California, Los Angeles (UCLA). Jeon worked as a researcher at NASA's Jet Propulsion Laboratory before he decided to return to Korea in 1979 at the age of 36. Professor Jeon started the history of Korea's Internet and laid the cornerstone for a leap forward as an Internet powerhouse today. He was also the only Korean to be inducted into the Internet Hall of Fame in 2012. This year is the 40th anniversary of the Internet's opening. Professor Jeon, who was met at his home in Hongeun-dong, Seodaemun-gu, Seoul last week, said, "Korea is an Internet powerhouse, but it is not playing a leading role globally. Domestic Internet companies should also look beyond Korea to the world." ▷How does it feel to celebrate the 40th anniversary of the opening of the Korean Internet? "In fact, in the 1980s, I didn't think we would develop this much. It was a difficult time to live in Korea. At that time, international organizations such as UNESCO mentioned the Philippines and Thailand in addition to Japan, as countries where computer networking is possible within a few years. Some in our government and academia also claimed it was "useless research," but we pushed ahead. But there's something I'm sad about right now. In the 1980s, we were one of the leading countries in the telecommunications sector, but now I don't think so. The United States, the United Kingdom, France, and Germany are leading the field.” ▷ Still, isn't Korea's Internet speed the best in the world? "It's not that important to have the best speed. If we're going to say that we're using the Internet well, we have to act as leaders. Korea is no longer included in the discussion of global Internet governance (management system). Not only engineers can do it, but we all have to work together. I don't think we handled the side effects of the Internet well. We could not properly deal with security and malicious comments since we focused only on the development part. ▷Domestic Internet companies such as Naver and Kakao are not playing a big role in a global society. "Korean companies are working hard, but I think they are mostly targeting the domestic market. About 10-20％ of domestic companies should be venture companies that target the global market. We are capable. There are a lot of people who go to America to study. We should also think about making good use of overseas resources. We can lead fields such as Blockchain, Web 3.0, NFT (non-replaceable token), and so on. We need to develop more talented people at the national level." ▷What efforts will be needed to develop the Korean startup ecosystem? "There is nothing to lose with our ability. But I think the education system needs to be improved. If you go to Stanford University in the U.S., there is a course where computer science majors and business majors devise startup items together. If you think the project is good, it leads to starting a business. There's no reason we can't do that either. In Korea, quite a few ventures are coming out of universities, so I hope we can try that." ▷When the April 19 Revolution broke out, you said you thought you should return to Korea. "It was when I was a senior in high school. In Korea, April 19 occurred, and in Japan, there was a similar incident (a protest against the revision of the U.S.-Japan Security Treaty). All the university students and high school students in Osaka were there. There were about 5,000 high school students, and I was going to speak as a representative of all students. However, when I read the draft of the speech, "To protect our democracy...” I couldn't get the word "our country" out of my mouth. That was the moment I realized that I'm Korean.” ▷ I heard that you liked math since you were young. "I didn't really like other subjects. Math was attractive because it has a clear answer after thinking for a long time. But I didn't think about majoring in math. So many people were smarter than me. I didn't think I was that smart. And then I thought I should do 'applied mathematics' and I studied computer." ▷ Why can't Korea get a Nobel Prize in science? "When I go abroad, I get similar questions a lot. Objectively speaking, why isn't there a Nobel Prize even though they are good at studying and have a high economic level? Korea should get one every five years or one every 10 years considering the level. I realized that it wasn't all of a sudden that a person won the Nobel Prize, but he or she who received the lower level of the prize before, and eventually went up to the Nobel Prize. We need to make that kind of effort. This should also be approached as 'system engineering'. We need to check and change whether our education system is optimized to foster global talent. Professor Heo Jun, who received the Fields Medal, which is the Nobel Prize in mathematics, also did not feel much interest in mathematics in the Korean public education system. Then, he met Professor Heisuke Hironaka and walked the path as a mathematician. Then he met a new turning point while doing post-doc (post-doctoral researcher) at Princeton University in the U.S ▷ You have been engaged in various activities even after you retired from KAIST. "Seniors that I respect still don't have any thoughts on retirement, and I want to work hard like them. The closest one that I've been in touch with lately is Professor David Farber. He's called the Grandfather of the Internet. Professor Faber is nearly 90 years old and is now the head of the Cyber Civilization Research Center at Keio University in Japan. I invited him to Korea this time. He will give a lecture at KAIST and Korea Electronics and Telecommunications Research Institute.” ▷ I heard that you also like sports, and went to the United States recently. "I've liked mountain climbing since I was in middle school. This summer, I tracked the High Sierra area near Yosemite National Park in the U.S. with my wife (Cho Hye-Jung, Honorary Professor of Yonsei University)." (Professor Jeon is a famous sports enthusiast.) In 1980, he succeeded in climbing the three northern walls of Europe (Matterhorn, Grand Zoras, and Iger) and received the National Medal of Merit, Girin Medal. ▷ What do you want to do in the future? "In 10 years, it will be the 50th anniversary of the opening of the Internet in Korea. So we're preparing for an event. I don't think I'm going to take the initiative anymore, but I am trying to give help. Maybe the next event will be the 100th anniversary, and that should be done by the next generation.” Related Articles: KAIST Laboratory in Jeon Gil-Nam is the first generation venture laboratory Broadcast contents: Gu Bon-Kwon: Jeon Gil-name, the beginning of the Internet...Read more
Junsoo Lee, an undergraduate of our school won an ..
Junsoo Lee, an undergraduate student (Advisor: Prof. Sungjin Ahn) of our School developed 'Age-free Kiosk for the Digitally Underprivileged' and won the Minister of Science and Technology Information and Communication Award at the 'SW Centered University Joint Hackathon 2022' held online from June 22 to 24....Read more
SW Disaster Research Center at Kyungpook National ..
Reference Article: https://www.etnews.com/20220624000148 (2022-06-26) This content is from the press article "Developing technology that dramatically improves the performance of SW error analyzer" by Professor Kihong Heo's research team in the School of Computing. < KAIST Professor Kihong Heo (left) and POSTECH Professor Kyungmin Bae (right) > Kyungpook National University's Software Disaster Research Center (STAAR, Center Director: Yun Ja Choi) developed a technology that dramatically improves the performance of 'Symbolic Execution', a technical tool to detect software errors and security vulnerabilities. This work has received favorable reviews from related societies. The related academic publication won the Best Paper Award and the Best Artifact Award at the 'ICSE 2022', the most prestigious international academic conference in the field of SW engineering. In addition, the work was selected at 'CAV 2022', a renowned international conference in the field of computer system verification, and is evaluated as leading research in related fields. The development was co-led by Professor Hakjoo Oh's team at Korea University, which is also participating as a co-researching team in the STAAR, and Professor Kihong Heo's research team at KAIST. Professor Sooyoung Cha's research team at Sungkyunkwan University also participated in the joint research. Symbolic execution is a technique used to detect security vulnerabilities in Microsoft Windows operating systems. It is a useful tool to detect potential software security errors and vulnerabilities, but the tool is difficult to tune for optimal performance even by experts. The research team has developed an automatic tuning technology that allows non-expert users to use symbol execution technology easily. It showed a significantly higher (over 30％) error detection performance compared to the symbol execution tuned by an expert. Professor Kihong Heo's team at KAIST received the Best Artifact Award for proposing a framework for the 'Bayesian Alarm Ranking System' learning method to improve the usability of the SW error detection system that uses program static analysis. The Best Artifact Award is given to researchers who have provided the foundation for subsequent research by transparently disclosing all implementation methods and data to the academic community as well as outstanding research achievements. The Bayesian Alarm Ranking System is a next-generation SW error detection system that Professor Heo has been researching since 2018. In addition, Professor Kyungmin Bae of POSTECH, who is participating in the SW Disaster Research Center, plans to present a technology that verifies the safety and reliability of software that controls physical gadgets such as autonomous vehicles, unmanned aerial vehicles, and smart factories, at CAV 2022 in August. “The research achievements and awards prove that our center is leading the automatic software disaster error detection technology, which is one of our main research goals,” said Yun Ja Choi, the head of the SW Disaster Research Center. "It will serve as an important stepping stone toward a safe software-oriented society", she added. Kyungpook National University SW Disaster Research Center was selected as the Engineering Research Center (ERC) for the Leading Research Center Support Project hosted by the Ministry of Science and ICT last year. It is currently building an integrated framework to quickly detect and respond to disasters caused by software malfunctions....Read more
Professor Moonzoo Kim received the 2021 Best Teach..
Professor Moonzoo Kim of the KAIST School of Computing was awarded the 2021 Outstanding Professor Award from Korea Institute of Human Resources Development in Science and Technology (KIRD). KIRD 2021 Outstanding Professor Award is awarded to a total of 13 professors in 3 criteria fields (lecture communication, education planning, and education quality) among the 500 professors who lectured at KIRD in 2021. Professor Kim received the Outstanding Professor Award in the field of education planning for his lectures on data structures and visualization with Python in the Research Data Analysis Academy course. (2022.5.18)...Read more
Ringle announced its ‘AI-Based Customized Learning..
This article is about the AI learning system jointly developed by Professor Juho Kim's research team in our school and Ringle. An AI-based customized learning system presented by Professor Juho Kim's research team is scheduled to be part of the Ringle service in the second half of this year. Ringle, which provides one-on-one video English learning services with tutors from prestigious universities in the United States, announced on the 2nd at the American Computer Association Learning at Scale (ACM Learning at Scale 2022) academic conference, that it developed an AI learning system through a joint research project with KAIST Professor Juho Kim’s Interaction Lab. The RLens system, presented by Professor Juho Kim's team at the conference, uses AI to analyze the content of one-on-one English lessons and diagnose learners' English proficiency in three areas: Complexity, Accuracy, and Fluency. Through this diagnosis, the learner can understand his/her learning achievement from a multi-dimensional perspective. The RLens system was developed to improve upon the flat diagnosis used by most existing evaluation systems including accredited certification tests, which represents the learner's English proficiency with a single score. Rather than assessing English proficiency based on scores in listening, reading, speaking, and writing fields, the RLens system diagnoses proficiency in three dimensions - complexity, accuracy, and fluency, which are the main axes of language proficiency in pedagogical theory. A learner's ability in each dimension is judged based on the following criteria: Complexity is the ability to use complex and diverse structures of English. Accuracy is the ability to use grammatically and semantically correct expressions. Fluency is the ability to speak fluently without pauses. The RLens system provides diagnosis through artificial intelligence, as well as goal setting for skill improvement and appropriate learning recommendations. It also includes a feature in which AI tracks whether the learner has fully absorbed the tutor's feedback and does not repeat the same mistakes. “The cycle of skill diagnosis, goal setting, and learning recommendation is a system that is one step closer to truly one-on-one personalized learning,” explained KAIST Professor Juho Kim about the RLens system. Professor Juho Kim joined Ringle in March of this year and will be working together for a year while on his sabbatical year. He is currently in charge of the commercialization of research content. “I am delighted that the papers containing the results of research conducted jointly with Ringle over the past two years have been accepted one after another at global conferences. We plan to accelerate product development so that the research contents can be reflected in the Ringle service in the second half of the year,” added Professor Kim. Ringle's Co-Founder Sungpah Lee said, “If the research results are reflected, Ringle will be reborn as a true AI-based learning service. At first, AI is mainly planned to be applied to provide customized learning to learners, but in the future, the scope will be expanded to improve the quality of education through interactions between native English tutors and AI. AI will improve with the tutor’s input and will also be able to correct mistakes or errors that tutors make when correcting learners’ English.” Professor Juho Kim's team has published work on an analysis of Ringle's learning method at another world-class educational technology conference called Learning Analytics and Knowledge (LAK) in March of this year. The researchers named Ringle's learning method, in which a learner takes classes with multiple instructors, a distributed tutorship and analyzed the aspects of distributed tutorship for the first time in the world through data collected from 16,000 learners, 500 questionnaires, and 40 interviews. According to the study, 40％ of learners meet a new tutor for each session....Read more
The master＇s thesis of Hyeongyeol Ryu (Advisor： Su..
The master's thesis of Hyeongyeol Ryu (advisor: Sung-Eui Yoon), a master's graduate of the School of Computing, was presented at the ICRA 2022 (IEEE International Conference on Robotics and Automation), the largest conference in robotics held in Philadelphia, USA from May 23 to 27. This research paper was selected for the Outstanding Navigation Award Finalist at the ICRA conference. Only 40 papers among 1500 papers from all categories presented at the conference are selected for this award. Confidence-Based Robot Navigation Under Sensor Occlusion with Deep Reinforcement Learning Hyeongyeol Ryu, Minsung Yoon, Daehyung Park, and Sung-Eui Yoon IEEE International Conference on Robotics and Automation (ICRA), 2022 http://sglab.kaist.ac.kr/CBN-DRL/ This work, which was co-conducted with a reinforcement learning professional Professor Daehyung Park of our school, presents a technology that ensures robots' operation even in case of sensor pollution due to a foreign substance. This research was carried out based on the capabilities accumulated from collaborating with professors and researchers in the field of robotics at KAIST for many years through government projects including, research on unmanned vehicles with Professor Hyunchul Shim (School of Electrical Engineering) since 2012, Humanoid project with Professor Sungho Cho (School of Computing) and Emeritus Junho Oh (Department of Mechanical Engineering), Drone project with Professor Hyun-Myung (School of Electrical Engineering), and Quadruped robot project with Professor Hae-Won Park (Department of Mechanical Engineering)....Read more
Professor Daehyung Park was selected as the recipi..
< Professor Daehyung Park > Professor Daehyung Park of our School was selected as the recipient of the 2022 Google Research Scholar Award. Google Research Scholar Program is an international program to support new professors who are conducting world-class research. This year, the program will support research on "Physics-Informed Interactive Skill Learning Toward In-hand Manipulation of Deformable Objects" by Professor Park's research team. This study proposes a method for learning the physical knowledge-based interaction skill of a robot hand for manipulating atypical objects. It will show manipulation techniques applicable in real life through the use of 1) physical knowledge-based reinforcement learning, 2) interaction-based reinforcement learning, and 3) Sim2Real transfer learning. The research plan will be updated at the URL below. https://rirolab.kaist.ac.kr/research/...Read more
Ulzhalgas Rakhman received the “Outstanding Paper ..
Ph.D. student Ulzhalgas Rakhman advised by Professor Daehyung Park in the Robust Intelligence and Robotics Laboratory (RIRO Lab) received the “Outstanding Paper Award'' at the 17th Korea Robotics Society Annual Conference (KRoC 2022) organized by the Korea Robotics Society. KRoC is the best robot specialized academic conference in South Korea. The conference was held hybrid (both online and offline) for three days, from May 11th to May 14th in Phoenix Pyeongchang, Gangwon-do. 64 papers were submitted to the conference and 6 papers among them were selected as outstanding papers. The research paper entitled “Reactive Task Planning using Scene Graphs for Robust Robotic Manipulation” was selected as an outstanding paper at the conference. The awarded research paper proposed a reactive task planning and execution framework adopting scene-graph to resolve the problem of external interventions in robotic assembly tasks. The framework overview is illustrated below: The research was supported by a National Research Foundation (NRF) grant funded by the Korea government (MSIT) (No. 2021RICICI004368 and 2021R1A4A3032834).  Ulzhalgas Rakhman, Jaehoon Yoo, Yeseung Kim, Deokmin Hwang, Seunghoon Hong, and Daehyung Park＊, “Reactive Task PLanning using Scene Graphs for Robust Robotic Manipulation”, Korea Robotics Society Annual Conference (KRoC), 2022...Read more
Students of our school won in the 2021 NC Fellowsh..
< (from left) Kyungwon Jung, Seungmin Hwang, NCSOFT official> On April 25, 2022, Seungmin Hwang and Kyungwon Jung of our School were awarded the winning team in the 2021 NC Fellowship Neural Graphics Competition hosted by NCSOFT. Seungmin Hwang and Kyungwon Jung (KAIST Team Keon-Gon-Yil-Cheok), students in our school, were selected as the “winner" by achieving the best results in the 2021 Neural Graphics Competition, where 6 excellent domestic universities, including KAIST, participated. After taking the Introduction to Computer Graphics (CS380) course lectured by Professor Min H. Kim of the School of Computing in the spring of last year, 4 representative students were selected to participate in the competition from July 2021 to February 2022. In the competition, 2 students work as a team to solve Computer Graphics problems using Deep Learning. ‘NC Fellowship’ is a program led by NCSOFT to support university students to gain experience and knowledge in AI research with the help of engineers. Separately from the previously operated ‘Game AI Track’, the ‘Neural Graphics Track’ newly established in 2021 is a new field that combines Artificial Intelligence and 3D Computer Graphics. The winning team gets a 7 million won prize and internship opportunity....Read more
Prof. In-Young Ko was inaugurated as the 18th pres..
Prof. In-Young Ko at the School of Computing was inaugurated as the 18th president of the KIISE Software Engineering Society on May 1, 2022. The KIISE Software Engineering Society is Korea's best academic organization in the field of software engineering. It was established in 1987 with the purpose of contributing to the nation's development by promoting academic, educational, and technological development related to software engineering. So far, the Software Engineering Society has provided a venue for active and systematic sharing of software engineering-related theories, experiences, and technologies among members in the field of software engineering at universities, research institutes, corporations, and government institutions. In particular, it hosts various events for software engineers such as the Korea Conference on Software Engineering (KCSE), summer short lectures, invited seminars, and evenings for software engineers, and regularly publishes newsletters. Professor Ko plans to make efforts to revitalize related events and activities in the post-corona era and the internationalization of the Software Engineering Society while serving as president for a two-year term....Read more
Professor Kihong Heo＇s research team from KAIST Sc..
< Hyunsu Kim (left), Professor Kihong Heo (right) > In May 2022, a research team of KAIST SoC Professor Kihong Heo, his graduate student Hyunsu Kim, and researchers from the University of Southern California, published a paper and received the Best Artifact Award (thesis title: Learning Probabilistic Models for Static Analysis Alarms) at ICSE 2022 (The 44th ACM/IEEE International Conference on Software Engineering), the best academic conference in the field of software engineering. In this paper, the research team proposed a framework for the learning method of the Bayesian alarm ranking system to improve the usability of the SW error detection system using program static analysis, and demonstrated its excellence through systematic experiments. The Best Artifact Award is awarded to a research team recognized for their outstanding research achievements and contributions that have provided the basis for further research by transparently disclosing all implementations and data to academia. The Bayesian Alarm Ranking System is a next-generation software error detection system that Professor Heo's research team has been working on since 2018. Its achievements have been consistently recognized at the best international academic conferences for the past 5 years. In 2019, it was recognized for its academic excellence by receiving the best thesis award at the PLDI conference, the best academic conference in programming languages. In the most recent study, they proposed a learning algorithm that dramatically improves the performance of the system developed over the past five years. In addition, they were honored with the award which was given in recognition of the fact that all data and programs used in the experiment were made publicly accessible to subsequent researchers. Professor Kihong Heo, who is in charge of this research, emphasized, “We scientists are people who, as Newton said, ‘get on the shoulders of giants and see the world from afar'" and “our research was successful because there were records of existing researchers, which we highly appreciate for.” “It would be blissful for us if other follow-up researchers to step on our research artifacts and look further afield,” he added. Paper Link: https://conf.researchr.org/details/icse-2022/icse-2022-papers/62/Learning-Probabilistic-Models-for-Static-Analysis-Alarms Award Link: https://conf.researchr.org/track/icse-2022/icse-2022-awards?#icse-2022-best-artifact-awards...Read more
17 Krafton incumbents donated 100 million won to j..
< (clockwise from left behind) Haechan Lee, Sanghyun Lee, Gunwoo Kim, Seongwon Lee, Kyungdo Park, Prof. Sukyoung Ryu, Jungheon Kim > Seventeen alumni of KAIST School of Computing who are currently working at Krafton donated 100 million won for ‘Sharing Leadership’ of our junior colleagues. Similar to when 11 former and current members of Krafton donated for software talents training in June last year, this donation was a matching donation in which the company's contributions are added to the amount raised by the donors. The donation was initiated by Krafton engineer Sanghyun Lee (Class of '08 Bachelor, Class of '12 Master) by gathering in-house alumni who agreed with the purpose of donating for the juniors of the School of Computing as the seniors. Seven of the donors are members of '5minLab', which Krafton recently acquired, and most of them are from 'Haje', a student game developing organization at the School of Computing. Other alumni had experiences in the computer R&D student club 'Sfax' or the undergraduate student council. They participated in the donation with the desire to be helpful to juniors, recalling the good experiences of their school days. The donors thanked what they had gained from their experiences with challenging and creative people in the free environment provided by the KAIST School of Computing. They discussed the wise use of the donation so that they could develop 'Sharing Leadership' of the juniors. The School of Computing plans to use the donations for ▴Support for the Student Council and student clubs, ▴Funds designated by the School, ▴Fund for building extensions for the School, etc. In particular, this donation will be used for volunteering and donation activities with various members of the school and talent donations events led by the student council. Also, the designated funds delegated by donors are going to be used as scholarship funds for undergraduate students. Seongwon Lee participated in this donation after obtaining his Bachelor's degree in February of this year. Recalling his undergraduate life, he said, "I have a more positive mindset thanks to my colleges who had free spirits to try new things and step onto the paths I never thought of." Gunwoo Kim (Class of '15 Bachelor) said, "I made this donation with the desire to relieve the feeling of debt for the great time I pursued thanks to the good people at a good school." Haechan Lee (Class of '08 Bachelor, Class of '12 Master), who participated in the donation, said, "KAIST School of Computing provides great support for students to have various experiences. I hope the juniors can flourish their time at school and pleasingly donate for their juniors as well in the future.” Kyungdo Park (Class of '04 Bachelor), who has been with Krafton for over 10 years and has been with PUBG since the beginning, said, “I had time to think about what I wanted to do in the free atmosphere unique to the School of Computing.” He continued, "I hope it will help my juniors to think about what they really like and what they want to do and give them an opportunity to choose." Sukyoung Ryu, head of the School, who suggested and encouraged the donation, said, "The free environment of the school, the gratitude to the colleagues who have been with us, and the words of encouragement to the juniors, which donors commonly mention, will give great comfort and courage to students are going through a period of intense school life.” Reference Article: https://news.kaist.ac.kr/news/html/news/?mode=V&mng_no=20330...Read more
Professor Meeyoung Cha received the Minister＇s Com..
Professor Meeyoung Cha of the KAIST School of Computing received the Minister's Commendation from the Ministry of Science and ICT on the 55th Science Day. KAIST SoC Professor Meeyoung Cha (in concurrent position with the Institute of Basic Science) was recognized for her contribution to active research works to solve social problems through science and technology, such as developing a leading AI technology that detects fake information and applying it to real cases such as customs tax evasion screening and the corona infodemic problem. Professor Cha's research team's customs tax evasion screening technology was distributed free of charge to the developing countries of the World Customs Organization (WCO). Also, the COVID-19 fact check campaign was spread to 50,000 people in 151 countries to prevent the infodemic. In recognition of her work, Professor Cha was invited to present the campaign at the 4th Infodemic Management Conference, an international academic conference hosted by the World Health Organization (WHO). Presentation Video Link Congratulations on your award. Reference Article: https://news.kaist.ac.kr/news/html/news/?mode=V&mng_no=20150...Read more
Designing a service robot that can interpret human..
Reference article: https://zdnet.co.kr/view/?no=20220421180134 "Making a service robot that can interpret human emotions with AI" This is an interview with Professor Sung-Eui Yoon and Professor Sungho Cho from the KAIST School of Computing. ■ A service robot that assists by understanding human behavior KAIST SoC Professor Sung-Eui Yoon and Professor Sungho Jo jointly conducted research on ‘Robot social interaction technology’. The key to this technology is understanding human behavior and assisting humans using the camera on the robot. Existing robots were limited to performing specific tasks, but these robots have the advantage of being able to help in more diverse situations. Professor Yoon explained, “Robots are interesting at first, but the more you use them, the more you discover the shortcomings of their simplicity." “The goal of our research with KT is to address these shortcomings and create a robot that can cope with various environments,” he added. Prof. Sung-Eui Yoon Robots equipped with social interaction technology can predict human behavior to help with tasks. Professor Yoon explained this using a cooking robot as an example. He said, “When cooking, the existing robots could only help when we cook according to a set scenario. However, with social interaction technology, robots can help even if we change the order of operations.” Professor Jo explained that robot social interaction technology can be applied to all service robots. “The technology can be applied to all robots that serve people,” he said. “For now, we are developing a robot according to general situations, and when there is a specific application case, it will be optimized and released as a product.” Prof. Sungho Jo Professors Yoon and Jo consider a robot that can recognize human emotions as the final stage of robot social interaction technology. Professor Yoon said, “Current technology has broadened the set of robots' actions by recognizing human behavior. If research in related fields continues, it is possible to create a service robot that can read people's emotional state and respond accordingly."...Read more