Lucky 7 Social at N1
[Poster of Lucky 7 Social at N1] On December 14, Thursday, a social event, "Lucky 7 Social at N1" was held by the Interactive Computing Lab of our Department of Computing (Professor Uichin Lee). As part of the KAIST L.O.V.E. project, the Lucky 7 Social at N1 event was held to promote networking between research laboratories on the 7th floor of the KAIST IT Convergence Building (N1) and to share moments of appreciation throughout the year. The event was organized by professors and students at the Interactive Computing Laboratory for about a month. [Participants of the event] N1 7층 건물에 위치한 4개의 전산학부 연구실(이기혁, 이의진, 한동수, 최호진 교수)과 4개의 전기및전자공학부 연구실(강준혁, 박현철, 이시현, 최준일 교수) 약 80여 명의 구성원이 참여해 실험실 소개, 감사의 마음 전하기, 피플 빙고, Thanks Board 등 다채로운 프로그램을 통해 즐거운 분위기 속에 진행되었다. About 80 members participated from labs of the School of Computing (Geehyuk Lee, Uichin Lee, Dongsu Han, and Hojin Choi) and four Electrical and Electronic Engineering labs (Joonhyuk Kang, Hyuncheol Park, Si-Hyun Lee, and Junil Choi) located in the N1 7th floor. It was held in an enjoyable atmosphere through various programs such as the introduction of laboratories, expression of gratitude, People Bingo, and Thanks Board. 1. Lab Introduction: We started the event by encouraging each other with a brief introduction to each lab by eight professors on the 7th floor and a heated shout from the lab classmates. 2. Say Thank You: We introduced the new environmental manager and delivered a thank-you gift. Thank you to the professors on the 7th floor who sponsored the gift！ 3. People Bingo: The participants had a chance to get to know each other by filling in bingo cards composed of various questions. It was a chance to talk among the participants while sharing small questions such as "people who hate math" and "people who prefer summer to winter." Special gifts were given to the participants who completed two lines of bingo first and those who completed all of them on a first-come, first-served basis. 4. Thanks Board: Participants also took time to post-it the moments they were grateful for during the year. [Moments of the event] Through this event, participants were able to hear and share each other's stories at the end of the year and got to know and be interested in other members of the laboratory. In particular, it was a valuable time for laboratory members from two departments, the School of Computing and the Department of Electrical and Electronic Engineering, to participate together to share their interests and life in the laboratory lightly. Participants enjoyed delicious donuts and coffee and gave positive feedback on the event. One participant said, "It was nice to have an opportunity to communicate with people in other laboratories without any burden while playing bingo games." The Lucky 7 Social at N1 event was a good starting point for communication between laboratories. [Participants of the event, communicating while having donuts and coffee]...Read more
KAIST Professor Joseph Seering wins Best Paper Awa..
KAIST faculty member Joseph Seering has won a Best Paper Award for his paper, "Hate Raids on Twitch: Echoes of the Past, New Modalities, and Implications for Platform Governance", co-authored with colleagues at Stanford University. The paper was presented at the ACM conference on Computer-Supported Cooperative Work (CSCW), which was held in Minneapolis, USA from October 14-18, 2023. The Best Paper Award was granted to the top 1％ of papers out of more than 1000 submitted papers from researchers around the world. The multi-stage selection process included feedback from double-blind peer reviews as well as a secondary review process from an awards committee. The paper performs an analysis of large scale targeted bot attacks that occurred on the Twitch video livestreaming platform in summer and fall of 2021. It describes patterns of behavior involved in the attacks, considers potential motivations, and details how targeted users responded. Professor Seering has previously received Best Paper and Honorable Mention awards for his publications at the ACM CSCW, CHI, and CHI Play conferences. His research focuses primarily on content moderation and online safety....Read more
Prof. In-Young Ko Hosted BECS 2023 International W..
On June 6, 2023, the 3rd International Workshop on Big data driven Edge Cloud Services (BECS 2023), hosted by the KAIST Big Data Edge Cloud Service Research Center (Director: Prof. In-Young Ko), was held in Alicante, Spain. At this workshop, which was held for the third time this year, five full papers and two short papers selected from papers submitted from eight countries were presented, three poster presentations, and an invited talk by Prof. Pablo Fernández of the University of Seville, Spain. This workshop was co-located with the 23rd International Conference on Web Engineering (ICWE 2023), and about 30 people participated and had heated discussions on related topics. Workshop homepage: https://becs.kaist.ac.kr/iwbecs2023/ In the Big Data Edge Cloud Service Research Center, considering that the edge cloud is becoming an essential big data collection and processing environment according to the development of low-latency and high-reliability communication and Internet of Things (IoT) technologies such as 5G, it aims to develop a big data platform for collecting, analyzing, and predicting big data with high performance, and a high-reliability and high-usability big data service application development technology....Read more
Professor Kim Tae-kyun is Appointed as BMVC 2023 A..
Professor Kim Tae-kyun of the Department of Computing at KAIST has been appointed as the program chair of the British Machine Vision Conference (BMVC), which is one of the prestigious Computer Vision conferences. BMVC is the annual conference of the British Machine Vision Association (BMVA) on image processing and pattern recognition. BMVC, a major international conference in Computer Vision and related fields in the United Kingdom, has become an authoritative event in the field of Computer Vision due to its growing popularity and level. Professor Kim Tae-kyun participated as the General Chair of the BMVC held in London in 2017. BMVC 2023 will be held on 20th - 24th November 2023, Aberdeen, UK. Please submit excellent papers in computer vision, machine learning, and related fields . https://www.bmvc2023.org/...Read more
Professor Haeyun Oh is appointed as General Chair ..
Haeyun Oh, professor of School of Computing, is appointed as the general chair of the Neural Information Processing Society (NeurIPS 2023), the prestigious international conference in the field of artificial intelligence. The NeurIPS is a prestigious international conference in artificial intelligence where more than 10,000 papers are submitted every year. Professor Haeyun Oh will serve as a general chair and board member in 2023, following the tutorial chair in 2019 and the senior program chair in 2022....Read more
Professor Jinah Park took office as the 13th presi..
Professor Jinah Park of KAIST's Department of Computer Science took office as the 13th president of the Korean Society of Imaging Informatics in Medicine as of January 1, 2023. Korean Society of Imaging Informatics in Medicine (KSIIM) is an academic organization that started as the Korean PACS Society in 1994 and induced the standardization of PACS in Korea by deriving Korean PACS guidelines that are the cornerstone of digital healthcare that is receiving attention today. In 2007, a joint conference was held with the 3D Medical Imaging Research Association and Computer Aided Diagnostic Research Association as the medical image informatics application expanded. During this period, the name of the organization changed to Korean Society of Imaging Informatics in Medicine, and experts from various fields participated in the process to explore new applications. Recently, it has started an international cooperation system in connection with SIIM USA and SIIM ASIA, and played a major role in attracting MICCAI (Medical Image Computing and Computer Assisted Intervention), a large international academic event in the field of medical imaging and medical robots, in Korea. While preparing for the MICCAI, an international event, which will be held in Korea in 2025, it is expected to create and further develop a culture of cooperation among researchers, clinicians, and entrepreneurs in various fields related to medical imaging in Korea as well as KSIIM Society....Read more
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
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
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
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
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
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
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 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
VPlusLab, founded by Professor Moonzoo Kim, offers..
Professor Moonzoo Kim of KAIST School of Computing VPlusLab, founded by KAIST Professor Moonzoo Kim, who is well-known for introducing CROWN 2.0 which is an automated testing tool developed based on world-class AI-based automatic testing technology, announced that it will provide free testing seminars and consultations until April of this year. With the 4th industrial revolution, a number of solutions to increase work efficiency and daily convenience are being launched. Software is the key to the evolution of these technologies. Autonomous driving, which is leading the mobility innovation, is already entering our daily life and is expected to bring various changes. However, there has been rising concern regarding the physical limit for humans to inspect all program codes manually. In response to such interest, VPlusLab is gaining its attention with CROWN 2.0, a 100％ automatic software testing tool using AI. In August last year, VPlusLab expanded its office and moved to Pangyo Techno Valley from Daejeon KAIST. It is seeking to grow into a leading company in the field of automatic software testing by utilizing the infrastructure and network of Pangyo Techno Valley. By participating in the 2022 Korean Software Engineering Conference as a sponsor for “Software Engineering Technology for Reliable Artificial Intelligence”, it continues to prove its competence externally through company PR booths and research papers. VPlusLab plans to provide free software testing seminars and consultations to companies that wish to improve software quality by utilizing its long-time accumulated technical know-how and excellent doctoral expertise. Companies can apply for a visiting seminar through the representative e-mail on the official website of VPlusLab until April 2022....Read more
Professor Shin Yoo appointed as the General Chair ..
Professor Shin Yoo of the School of Computing at KAIST has been appointed as the General Chair of the 2022 International Symposium on Search Based Software Engineering (SSBSE) to be held in November this year. SSBSE celebrates its 14th anniversary this year as an international symposium where experts in the so-called search-based software engineering field gather to solve software engineering problems using metaheuristics and evolutionary computation techniques. SSBSE 2022 will be co-hosted in Singapore in November with the ACM Symposium on Foundations of Software Engineering (FSE), one of the highly recognized conferences in the field of software engineering. https://ssbse.info/...Read more
KAIST signs an MoU with Busan Metropolitan City to..
On March 3rd, KAIST decided to establish Auto-ID Labs Korea (Center Director: Professor Daeyoung Kim) in Centum City, Busan, and signed an MoU with Busan Metropolitan City. Auto-ID Labs are an international joint research network for Internet of Things and are composed of premier universities from 6 countries - KAIST, MIT, Cambridge, ETH Zurich/St. Gallen, Fudan, Keio. It is a primary research partner of GS1, a non-profit international organization for developing and maintaining standards. The term Internet of Things was introduced by the Auto-ID Center in 1999 for the first time to the world. http://autoidlabs.org Relevant article : https://busanmbc.co.kr/article/blT21U9obk-N-AQu_...Read more
「MICCAI 2025」Holing Medical Image Computing and In..
MICCAI 2025 General Co-Chairs: Professor Jinah Park, School of Computing, KAIST The 28th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 2025), a major international conference in the fields of medical imaging, artificial intelligence, and medical robot intervention, has been confirmed to be hosted in Daejeon, Korea. The MICCAI International Academic Event is the largest and the most prominent international conference in the medical technology field, held annually by continental tour, and is held for the first time in Korea. About 2,000 domestic and foreign experts will give presentations and join the workshops, challenges, tutorials, and exhibitions about the latest research on medical imaging technologies that encompass medical image processing, artificial intelligence, medical robotics, telemedicine, computer-assisted diagnosis, and so on. In particular, a special program will be prepared which KAIST-related laboratories are participating in, in Daejeon, 2025. MICCAI 2025 Co-Chairs are Professor Jin-ah Park of School of Computing, KAIST, professor Polina Golland of College of Engineering, MIT, and professor Jong-hyo Kim of Medical School, Seoul National University. For successful hosting, the Korean Medical Societies Advisory Board is organized cooperating 4 major domestic societies: the Korean Society for Medical Imaging and Information Science, the Korean Society of Medical and Biomedical Engineering, the Korean Medical Robotics Society, and the Korean Society of Radiology. With full support from Daejeon Metropolitan City, about 40 researchers from 11 countries around the world are participating in the organizing committee and they plan to prepare international events under the themes of "From Concept to Clinical" and "Pan-Asian Connection". Related Articles : http://www.daejonilbo.com/news/newsitem.asp?pk_no=1500026 https://www.yna.co.kr/view/AKR20211226020600063?section=news http://www.dailycc.net/news/articleView.html?idxno=669117...Read more
ACM SIGPLAN International Conference on Functional..
ACM ICFP 2021 (The 26th ACM SIGPLAN International Conference on Functional Programming), which Prof. Sukyoung Ryu is the General Chair, will take place on August 22 to 27, 2021 online. ACM ICFP is a flagship conference in the field of programming languages hosted by ACM, and is one of the top conferences designated by the Korean Information Science Society. Detail information can be found in the following web page: https://icfp21.sigplan.org...Read more
Professor Euijin Lee(School of Computing, KAIST) a..
Professor Ui-Jin Lee of School of Computing, KAIST has been appointed as the Program Chair for the ACM UbiComp (International Joint Conference on Pervasive and Ubiquitous Computing), which will be held online from September 21-26, and will be in charge of the organization of the academic program. The ACM UbiComp conference is the international academic conference of the highest authority sharing researches on the design, development, demonstration, and understanding of ubiquitous computing systems for next-generation computing environments including mobile, wearables, Internet of Things (IoT), and virtual/augmented reality (AR/VR). This year, the 30th anniversary of the declaration of the vision of “Ubiquitous Computing”, in commemoration of Dr. Mark Weiser, a pioneer in the field, major scholars such as Professor Gregory Abowd of Northwestern University will discuss “the direction of future research”. Various academic exchange programs such as presentation of more than 230 papers, 38 posters/demos, 11 workshops, 4 tutorials, and doctoral symposiums will be held online. Professor Euijin Lee has published the largest number of papers as a Korean at the ACM UbiComp conference and was appointed as the chair of the program in 2021 based on his contribution to the ubiquitous computing field for a long time. UbiComp Conference website: https://www.ubicomp.org/ubicomp2021/...Read more
Urban green space brings happiness when money can＇..
This is an article of the research done by professor Mi-Young Cha of School of Computing, showing that the more developed economies, the greater effect of green spaces in the city on the happiness of citizens. Yonhap News (Kor.) : https://www.yna.co.kr/view/AKR20210608046400063?input=1195m Edaily (Kor.) : https://www.edaily.co.kr/news/read?newsId=02200886629079752&mediaCodeNo=257&OutLnkChk=Y Science Daily : Urban green space affects citizens' happiness Phys.org : Urban green space brings happiness when money can’t buy it anymore The 2022 report published by UNICEF (titled "Places and Spaces: Environments and children's well-being") mentions the Urban Green Space Index presented by the research team as one of the important indicators affecting the happiness of children around the world. UNICEF report : https://www.unicef-irc.org/places-and-spaces...Read more