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
Co-organizing the CCC＇23
"KAIST SoC graduate (2021) Dr. Sewon Park (advisor prof. Martin), currently Postdoc at Kyoto University/RIMS (Research Institute for Mathematical Sciences), has had the honor of co-organizing the "12th international Conference on Continuity, Computability, Constructivity "(CCC'23): https://www.i.h.kyoto-u.ac.jp/ccc2023/ Sewon is an expert on reliable/verified computing with real numbers and other continuous (=non-discrete/ized) data types. He has contributed (to) two talks and has chaired two talks, as well as organizing and guiding the conference excursion to Heian Jingu Shrine and Nanzenji Temple. Attached is a picture of the conference participants with Dr. Park to the right....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
Should Robots With Artificial Intelligence Have Mo..
The following research by Gabriel Lima, a master's graduate of the laboratory of Professor Miyoung Cha of KAIST's School of Computing, was introduced in the Wall Street Journal. This study was also published in ACM CSCW 2020 as a joint study conducted with Professor Chihyung Jeon of the Graduate School of Science and Technology Policy at KAIST. G. Lima, C. Kim, S. Ryu, C. Jeon, and M. Cha, Collecting the Public Perception of AI and Robot Rights, In proc. of the ACM Conference on Computer-Supported Cooperative Work and Social Computing (CSCW), October 2020. https://dl.acm.org/doi/10.1145/3415206 Wall Street Journal : https://www.wsj.com/articles/robots-ai-legal-rights-3c47ef40...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
Web3 App Development Class ＇Web3＠KAIST＇ opened for..
This is an article about "Web3 Application Development Class, Web3＠KAIST" opened by our department for this spring semester 2023. Source : https://www.hankyung.com/it/article/202301180324O (한경닷컴 뉴스룸 open＠hankyung.com) Korea Advanced Institute of Science and Technology (KAIST) School of Computing announced on the 18th that they will be opening a Web3＠KAIST class, teaching how to develop Web3 applications for the spring semester of 2023. This is the first class to be opened at KAIST, and it will be an online lecture so that not only students from KAIST's School of Computing but also students from other departments can take it. The class schedule will be from 4 p.m. to 7 p.m. every Wednesday from March 8th to June 7th. The course will be taught in English. It will introduce the basics of blockchain technology and business and cover the technology, planning, and overall business to develop Web3 apps. Blockchain has been concentrated on virtual assets so far, but the class aims to solve social problems and global issues and explore Web3 apps that can be applied in real life together. As the final result, it plans a structure that can be linked to future investments by deriving a prototype with the Web3 app or business plan. In particular, this class consists of cooperation between schools and industries. At KAIST, Professor Minseok Kang, who is conducting blockchain security research, and Professor Seokyoung Ryu, the dean of School of Computing, will participate. At the industry, Jaesun Han, Ph.D. of KAIST electronic computing, and several expert mentors will participate. Dr. Han will take the lead in the class by taking advantage of his experience establishing GroundX, a Kakao blockchain subsidiary, and leading Clayton. In addition, more than twenty blockchain experts will participate as mentors to guide students' web3 projects and deliver insights. The teaching method is not a one-way class, but a web3 class community in which students, professors, and expert mentors participate together is operated through Discord. Not only KAIST students but also domestic and foreign students will be able to register after reviewing if they apply online by February 3. Online applications are made through the class website. Professor Seokyoung Ryu of KAIST said, "It is significant in that it allows KAIST students to teach and experience practical knowledge of web3 app development. She also said, "We hope meaningful Web3 apps will be created through exchanges and cooperation with the blockchain industry." Dr. Han said, "It is time for blockchain to prove its value on its own. We look forward to presenting a new teaching model through the Web3 community and exploring Web3 cases with students that solve problems in the world," he said. Details & Application...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