Most Influential Paper Award at ACM POPL 2019, a t..

Together with Cristiano Calcagno, Dino Distefano and Peter O’Hearn at Facebook, Hongseok Yang at KAIST received the ACM SIGPLAN Most Influential POPL Paper Award for the paper “Compositional Shape Analysis by means of Bi-abduction,” which they presented at POPL 2009. 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. More information can be found in Facebook Research’s article: https://research.fb.com/popl-2019-most-influential-paper-award-for-research-that-led-to-facebook-infer/

Software Security Lab of the Graduate School of In..

The software security research lab (Supervisor : Professor Cha Sang-gil) of the Graduate School of Information Security at School of Computing has handed over 2.8 million won to the department. The software security lab won the Information Protection R&D Data Challenge contest (datachallenge.kr) last November by participating in the auto-detection of vulnerabilities field. Kim Soo-min, Han Hyung-seok, and Choi Jae-seung (Ph.D course), Kim Hong-sik, Oh Dong-hyun, Jeong Min-gyu (Master course), and Cha Sang-kil, who participated in the contest, said they donated 2.8 million won for the development of the School of Computing Choi Jae-seung, the team's representative, said, "Based on the good results at the competition, I think it was the help of the schools and departments that we applied for the study. All of us decided to donate the money in the hope that we would give some back to our juniors, said.

Professor Moonzoo Kim, adopted an ICSE 2019 SE in ..

ACM/IEEE ICSE Software Engineering in Practice (SEiP) track, the world's top academic society in software engineering, has adopted a paper by Professor Kim Moon-joo of our Computing Department. This paper, "Automaticized Test Generation to Achieve High Test Coverage with Reduced Human Effort in the Automotive Industry," is a research paper written by Kim Yoon-ho and Moonzoo Kim of the Department of Computer Science. The developed and applied MIST, a SW auto-test tool for vehicles, automatically tested SW (Integrated Body Unit) for modern Mobis vehicles to achieve 90％ of the quarterly coverage and reduced the time and cost of SW testing to less than half. The research results were published in major media outlets such as Chosun Ilbo, Maeil Economic Co., and Yonhap News Agency. https://m.yna.co.kr/view/AKR20180720158800003 http://biz.chosun.com/site/data/html_dir/2018/07/22/2018072200441.html http://news.mk.co.kr/newsRead.php?year=2018&no=460304

Development of Computer-Anti-Error-Preventing Tool..

Along with Professor Ryu Seok-young of School of Computing, Dr. Bae So-ra and Lee Sung-ho of School of Computing developed a mathematical model to detect flaws in the operation of the language using Android as the operating system (OS) and identify security vulnerabilities. http://www.etnews.com/20190102000169

Professor Kim Dae-young Awarded Government Innovat..

Kim Dae-young, professor of School of Computing KAIST, was honored by the prime minister at the government office in Seoul on December 26. As the head of a new industry committee under the Public Data Strategy Committee, he was recognized for his contribution to discovering and opening data in new industries such as Smart City and self-driving cars, etc. https://www.yna.co.kr/view/PYH20181226167600013?section=search

Watching Youtube by using a mirror as a touch scre..

Research team led by Professor Shin In-sik and Professor Kim Hyo-soo, School of Computing, developed a smart phone-based touch sound locating technology that enables the use of furniture, mirrors, etc. as a touch input tool. https://www.sedaily.com/NewsView/1S8G63M098 http://ilyo.co.kr/?ac=article_view&entry_id=319339 https://www.yna.co.kr/view/AKR20181213040300063?input=1195m

Four papers belonging to KAIST＇s School of Computi..

Four papers belonging to KAIST's School of Computing were adopted by ACM/IEEE ICSE 2019 (https://conf.researchr.org/home/icse-2019) one of the most prestigious institutions in software(SW) engineering. "Towards Understanding and Reasoning out Android Interoperations" (Ph.D student Bae Sora, Ph.D student Lee Sung-ho and Professor Ryu Seok-young of KAIST School of Computing) https://2019.icse-conferences.org/event/icse-2019-technical-papers-towards-understanding-and-reasoning-about-android-interoperations "Resource-aware Program Analysis via Online Abstraction Coarsening” (Professor Yang Hong-seok, Professor Heo Ki-hong of the University of Pennsylvania and Professor Oh Hak-joo of Korea University) https://2019.icse-conferences.org/event/icse-2019-technical-papers-resource-aware-program-analysis-via-online-abstraction-coarsening "Guiding Deep Learning System Testing using Surprise Adequacy” (Ph.D student Kim Jinhan, Professor Yoo Shin of KAIST School of Computing and Professor Robert Feldt of the University of Chalmers) https://2019.icse-conferences.org/event/icse-2019-technical-papers-guiding-deep-learning-system-testing-using-surprise-adequacy "Grey-box Concolic Testing on Binary Code” (Ph.D student Choi Jae-seung and Professor Cha Sang-gil of KAIST Graduate School of Information Security, Samsung Electronics' Jang Joon-eon and Naver's Han Choong-woo) https://2019.icse-conferences.org/event/icse-2019-technical-papers-grey-box-concolic-testing-on-binary-code

Presented a paper at ACM POPL 2019, the world＇s le..

ACM POPL 2019, one of the world's top academic societies in programming languages, was adopted in a paper written by KAIST Computer Science Master's Degree Park Kyung-hee, Bachelor's Degree Hong Jae-min and Professor Ryu Seok-young with Dr. Guy L. Steele Jr. of the Oracle Institute.

Professor Cha Mi-young was Chosen as IBS CI(Chief ..

The Institute of Basic Science (IBS) selected three professors, Eom Sang-il (42. KAIST), Kim Ho-min (40 years old. KAIST), and Cha Mi-young (39.KAIST), to explore new areas of basic science and conduct challenging independent research. The CI system supports independent research by young researchers who are equal to the research manager of global research institutions. The research manager selected as CI forms an independent research group within the Pioneer Research Center (PRC). PRC is a type of IBS research group and each group will receive between 10 and 1.5 billion won in research funds for five years. Among them, Cha Mi-young, a professor of School of Computing, will take charge of the Data Science Research Group and begin the research on January 1 next year. She is going to conduct the Data Science Study, which is necessary to analyze and solve the problems that appear in today's network-connected information society. Based on human-social system modeling and analysis, Cha is focusing on calculating social science that has great potential for future society. "We will contribute to society by developing important future technologies, including detection of fake news based on big data, and studying artificial intelligence that is comprehensible and fair," Cha said. http://www.edaily.co.kr/news/read?newsId=01666246619434584&mediaCodeNo=257&OutLnkChk=Y

MARS AI Integrated Research Center held ‘KAIST AT ..

On the 5th (Canada local time) of NeurlPS, one of the best international societies in machine learning, MARS AI Integrated Research Center and our department held 'KAIST AT NeuralPS 2018'. The event was organized to promote our academic achievements and exchange with overseas researchers of artificial intelligence. The NeurlPS 2018 conference, which was held in Montreal, Canada from the 3rd to the 8th, was attended by researchers from around the world and presented more than 1,000 papers. Our department has published a total of six papers, one of which earned the honor of Spotlight. A total of seven papers(3 Spotlight) were also published by other department of KAIST. MARS AI Integrated Research Center (http://ml.kaist.ac.kr/), which is a part of our department and the Department of Electrical and Electronic Engineering, held an event called 'KAIST AT NeuralPS 2018' to promote the research and interact with the leading international artificial intelligence researchers. In addition to our school, more than 100 Korean machine learning researchers attended overseas universities such as MIT, Oxford, Univ. of Michigan, Univ. of Toronto, industries such as Google, Naver, NVIDIA, and domestic universities such as Seoul National University and Yonsei University. A detailed introduction to the papers and events published in NeurlPS 2018 can be found on the following website: http://ml.kaist.ac.kr/neurips2018

KAIST Develops Next Generation Binary Analysis Pla..

Over the past three years, Cha Sang-gil, a professor of School of Computing of KAIST, and his students have developed B2-R2, a technique for analyzing vulnerabilities in binary code using artificial intelligence technology with Cybersecurity Research Center(Director Professor Kim Yong-dae of Electrical and Electronic Engineering). B2-R2 is a performance system of 'Automatic Reverse Engineering and Vulnerability Detection-Based Technology Development' that is a research project by the Ministry of Science and ICT that can be used in various computer security areas such as ▲software security vulnerability analysis ▲Analysis of malicious code ▲Releasing obfuscation ▲Security Patch ▲Automatic Creation of Exposure plot. Compared to the binary analysis systems developed overseas, B2-R2 system is highly utilized (available on all operating systems such as Windows, Linux, Mac, Android, iOS) and has at least 2 to 100 times the analysis speed and maximizes the ease of analysis using the latest functional language, F#, and has a variety of interfaces with 32 programming languages. Not only is it the first binary code analysis system in Korea, but it also surpasses the BAP of Carnegie Mellon University and Angr of UCSB, which lead the field. The importance of binary analysis technology, known through ‘Next Generation binary analysis platform B2-R2 Technology Explanation Conference’ on Dec. 4, has become widely known through the Cyber Grand Challenge (CGC), the world's first computer-to-computer hacking attack and defense competition hosted by the Defense Department of Defense (DARPA) in 2016. With various security threats such as malicious code, APT attack, and DDoS attack being carried out by human hackers, the competition has become a signal for the emergence of AI-based machine hackers and can be understood as a core technology to prepare for a paradigm shift for information protection of the fourth industrial revolution. Professor Cha Sang-gil is known to be the main author who designed the core engine of the CGC championship, Mayhem, which was held in the U.S. and won the title by overwhelming margin at 2018 Information Security R&D Data Challenge Auto Detect based on AI, a Korean version of the CGC, on November 30. It is known that at the center of the system used for the contest by Cha Sang-gil B2-R2 technology which he developed with KAIST students for three years. According to information protection experts, KAIST's Cha Sang-gil team has secured key technologies in the field of 'automatic detection and response of AI-based vulnerabilities' that surpasses the world's highest level through this technical briefing and domestic competitions.

APLAS 2018 International Congress was hold(KAIST s..

The 16th APLAS (Asian Symposium on Programming Language and Systems) which KAIST supported as Gold Sponsor was held in Wellington, New Zealand, December 3, 2018. Professor Ryu Seok-young, chair of the program, invited three world-renowned lecturers - Amal Ahmed (USA), Azalea Raad (MPI-SWS, Germany), Bernard Scholes (University of Sydney, Australia) - and conducted various programs including presentations of papers and poster sessions, and workshops on December 2 and December 6.

Undergraduate Hong Jae-min of School of Computing,..

At APLAS (Asian Symposium on Programming Language and Systems) 2018 which was held in Wellington, New Zealand on 12/3-5 and was sponsored by KAIST, Hong Jae-min (Advisor Ryu Seok-young) received the second prize for his thesis on Path Dependent Ties with Path-Equality at the Student Research Competition, which he participated with graduate students. He published the paper at ACM SIGPLAN Symposium on Scala, which was held in St. Louis, U.S. on September 28.

Lee Sung-ho, Ph.D. student of KAIST School of Comp..

LeeSeong-ho(Advisor Ryu Seok-young) School of Computing, KAIST was selected as the best reviewer for the Artifact Evaluation at OOPSLA 2018 (Object-Oriented Programming, Systems, Languages, and Applications), a class S international institute in Boston, U.S. on Nov. 7-9 and won the Distinguished Artifact Evaluation Committee Member Award.

Chosen for NAVER Phd Fellowship

Last November, ten Ph.D. students from our computer science department were chosen for NAVER PhD Fellowship. The selected person is - Gong Tae-sik (Professor: Lee Sung-joo) - Kwon Hyun (Professor Yoon Hyun-soo) - Kim Hyung-kyu (Professor Kim Soon-tae) - Nam Jae-hyun (Professor: Shin Seung-won) - Park Joon-young (Professor Ryu Seok-young) - Park Jin-seok (Professor Lee Heung-kyu) - Jang Young-soo (Professor: Kim Ki-ung) - Jeon Seok-joon (Professor: Kim Min-hyuk) - Jeong Dae-ryong (Professor: Shin In-shik) - Ha Jae-hee (Professor Kim Myung-chul) NAVER PhD Fellowship program is a program that selects Ph.D. student who submitted the first paper to the top-tier conference/journal of each computing field and pays scholarships. Naver selected eight students for NAVER Phd Fellowship in 2015, six first and eight second in 2016, 11 in 2017, and 10 in 2018, and paid a total of 235 million won to the selected students.

Won 2018 AI R＆D Challenge Contest

In the 2018 AI Challenge competition hosted by the Ministry of Science and ICT, Multimedia Computing Lab of Professor Lee Heung-kyu, School of Computing, took third place. The AI challenge competition aims to find problems that are expected to have economic and social ripple effects, but cannot be solved due to high level of technical difficulty, and to solve them by using artificial intelligence. In addition, it was designed to significantly improve domestic AI technologies by inducing diverse researchers to participate in AI R&D in a competitive manner. The award was held at the AI International Conference on Nov. 29, 2018 and was awarded 300 million won for research and development along with the award from the Director of the Information and Communication Agency.

Won K-ICT Cloud Industry Awards

KAIST School of Computing won the K-ICT Cloud Industry Awards(Minister’s Award) at 2018 Grand Cloud Conference held at COEX in Seoul for building and operating a cloud that is currently being utilized. It was recognized as a good example of building a cloud operating system on idle equipment and providing computing for regular course and research tasks at the same time, and applying an operating system using open-source OpenStack. On the other hand, '2018 Grand Cloud Conference' is a Cloud Conference that summarizes the achievements of South Korea's Cloud industry and shares directions for future development. This is the place to discuss introducing and converging public and private clouds.

Won Grand Prize at 2018 National Cryptographic Com..

Two students from Graduate School of Information Security of School of Computing, KAIST, Choi Won-seok in Ph.d course and Lee Byeong-hak in master’s course(Advisor Professor Lee Ju-young) , won the grand prize for thesis “Indifferentiability of Truncated Random Permutations” at the 2018 National Cryptography Competition. The 2018 National Cryptographic Competition was held by the Korea Cryptographic Forum, Korea Institute of Information Security & Cryptology and and National Research Council of Science & Technology under the auspices of the National Intelligence Service to develop the nation's encryption technology. The total prize money is about 50 million won including the 10 million for the grand prize. Cryptographic Competition is divided into areas such as cryptography thesis, solving problems of cryptography, and ideas for using cryptography, and the grand prize is chosen only from the cryptography thesis area. The award ceremony was held at Ramada Seoul Hotel on November 15 as an additional event for the Future Password Workshop. In addition, Kim Sung-kwang in Ph.d course (Advisor Professor Lee Ju-young) received an incentive award in cryptography thesis section, and Kim Sung-kwang and Choi Won-suk in Ph.d course, and Lee Young-min in master’s course (Advisor Professor Lee Ju-young) received a special award.Two teams of undergraduates of KAIST hacking club GoN, led by Cha Sang-gil from Graduate School of Information Security, received the highest award and the incentive prize respectively in the problem-solving field. Meanwhile, Lee Ji-eun, a Ph.D. student in School of Computing, won the top prize at the National Cipher Skills Specialist Training Awards, and Lee Byeong-hak, a master's course student, won the excellence prize. Lee Byung-hak also won the top prize at the 2017 Cryptography Contest for his paper, "Tweakable Block Cippers Secure Beyond the Birtday Bound in the Ideal Cipher Model," which was adopted by the three major cryptographic societies Asiacrypt, this year.

Professor Park Jin-ah gave keynote lecture at the ..

Professor Park Jin-ah of the School of Computing, KAIST, gave a keynote lecture on the topic of “Hippocampal Morphology Study based on Progressive Template Deformable Model” at International Conference on Medical Imaging and Case Reports 2018 held on October 26-28 in Baltimore, U.S. The event involved 70 people from 48 institutions in 23 countries. The event was invited by many researcher who are influential in medical images and clinical including Dr. Marth Shenton from Harvard Medical School, Professor Polina Golland of MIT, Michael Miller and Professor Jeffery Siewerdwen of Johns Hopkins University

Junior high school students in Daejeon visited thr..

30 students from Munjeong Middle School math and science club and 25 students from Chungnam Girls' Middle School science club visited School of Computing through the Science and Exploration Laboratory University Visit Program organized by the Korea Women's Science and Technology Association (KWSE) on October 11 and 12. Students who visited this program listened to a seminar on the latest virtual reality technology (Professor Park Jin-ah) with the introduction of the School of Computing and had a mentoring session with college students.

Dr. Shin Yoo of School of KAIST identified as one ..

Dr. Shin Yoo from School of Computing, KAIST, has been identified as one of the top 15 most impactful early career researcher in software engineering by a bibliographic study published at Journal of Systems and Software in October 2018 (Karanatsiou et al., https://doi.org/10.1016/j.jss.2018.10.029). The result is based on analysis of 14,456 papers as well as their citation counts published at top journals and conferences between 2010 and 2017.

Pacific Graphics 2018 Best Paper Honorable Mention..

The following paper, collaborated between Prof. Sung-eui Yoon and Prof. Moon (GIST), received Best Paper Honorable Mention award at Pacific Graphics 2018. Feature Generation for Adaptive Gradient-Domain Path Tracing https://cglab.gist.ac.kr/publications/2018_Feature_Generation_for_Adaptive_Gradient-Domain_Path_Tracing.html This paper proposed a theoretical approach of computing ideal features and showed its practical benefits for gradient-domain Monte Carlo rendering methods. Interestingly, Prof. Yoon presented a paper 9 years ago at the same conference that received the Distinguished paper award. https://sglab.kaist.ac.kr/HPCCD/

Professor Min H. Kim has chosen the best research ..

Professor Min H. Kim has chosen the best research and development of 2018 top 100 Six professors from KAIST have been selected for the "Top 100 2018 state research and development" announced by the Ministry of Science and ICT and the Korea Institute for Science and Technology Planning. The winners are Il-du Kim and Byeong-gook Park at the Department of New Material Engineering, Ho-min Kim at the Graduate School of Medicine, Jae-woo Lee at the Department of Biochemistry, Min H. Kim at the School of Computing, and Kyung-chul ​ Choiat the Department of Electrical and Electronic Engineering. Professor Min H. Kim of the School of Computing was chosen for excellence in the field of information and electronics. It was recognized that he developed high-performance imaging technology to obtain high-performance images. Professor Il-du Kim was chosen as the best performance in the field of machinery and materials. It was recognized that he developed ultra-high sensitivity gas sensor platform material based on self-assembly organic complex catalyst coupling. Professor Byung-kook Park was also chosen for excellence in the machine and material fields. He has developed a material technology that obtains spin current from heat. Ho-min Kim , a professor at the medical school, was selected as the best performance in the life and ocean fields. It has established the 3rd structure and molecular warfare of core protein that controls the formation of synapses. Professor Jae-woo Lee has been chosen for excellence in energy and the environment. He was credited with developing high-value carbon-material synthesis technology. Kyung-chul Choi was chosen as the best performance in information and electronics. It was recognized that it developed a smooth display that was implemented on top of clothes. The performance selected for excellence will be awarded to the Minister of Science and ICT with a certificate and a signboard. The six selected professors will be nominated as candidates for the state-funded R&D achievement evaluation (medal, presidential citation, and the prime minister's citation) and will receive preferential treatment in the selection of new R&D projects.

KAIST School of Computing Professor Yang Eun-Ho a..

"DropMax," "Adaptive Variable Softmax," "Uncertified-Aware Attachment," a joint study by Professor Yang Eun-Ho and Professor Hwang Seong-ju of the KAIST School of Computing, were published by Neural Information Processing System (NIPS) 2018 (acceptance rate:20.8 ％), the world's best academic institution. The paper was published as follows: [DropMax: Adaptive Variational Softmax] In this paper, we propose techniques to improve the performance of the systeresis by applying Dropout techniques to softmax functions that are originally applied to multi-class identification. At each learning quarter, the whole class' subset is randomly sampled according to the learned Dropout probability and the discrimination is performed. There is meaning that is is a ensemble of different discriminations', and it also has the effect of making more comparisons between classes that are likely to be confused with each other. Deep Bayesian techniques enable the learning and reasoning of this probabilistic neural network. Specifically, it has been experimentally verified in this paper that inducing a Dropout mask, the probability of being a target label for each class, differently for each input instance and correctly deduplicating the values is important for improving performance, thereby enabling more reliable learning and reasoning. [Uncertainty-Aware Attention for Reliable Interpretation and Prediction] Existing in-depth neural networks cannot take into account uncertainty in the in-depth learning process of predictive models, so the learning model has the potential to predict the wrong situation, and the uncertainty present in the data and the model itself has led to false predictions. The "Uncertified-Aware Attachment for Reliable Interprevention and Prescription" paper is a way to overcome existing uncertainty problems. The "Uncertified-Aware Attachment for Reliable Interprevention and Prescription" paper is a way to overcome existing Uncertainty problems. Uncertainty-Aware Attachment Mechanism, which allows input-adaptive organic learning by identifying data and model conditions regarding uncertainty, was presented. This paper has experimentally demonstrated that, with respect to the performance of modern machine learning algorithms, the ability to interpret accurate models with corrected model predictive performance and uncertainty is outstanding through UA framework. [Joint Active Feature Acquisition and Classification with Variable-size Set Encoding] This paper addresses the question of learning policies to obtain effective information at a lower cost in situations where the cost of obtaining the necessary information in the classification (e.g., examination costs) is incurred, such as diagnosing diseases. When diagnosing patients, it is reasonable to perform the necessary tests according to the individual's condition rather than carrying out and diagnosing all the same types of tests. In this paper, it jointly learns about dynamic feature acquisition policies and classification models that determine the required information sequentially based on the information currently in place. To this end, we defined a function for the purpose of considering both the classification performance and the costs necessary to obtain information, and presented a joint learning framework for the feature acquisition policy and classification model using in-depth hardening learning. In addition, experiments using synthetic and medical data have shown that the performance is cost-effective compared to static feature acquisition methods or previous studies.

Listed on 50＋ women to follow in computational soc..

Professor Moon Soo-bok, Professor Cha Mi-young, and graduate Ahn Ji-sun of School of Computing were listed on the 50＋Woman to follow in the journal SAGE Open. The journal SAGE Open is a peer-reviewed journal that encompasses social behavior-related science and humanities. At the journal’s blog, women scientists from around the world who published excellent papers in the field of computational social science scientist was selected through recommendation on the occasion of the British Women's Day honoring Ida Lovelace, a British female mathematician and scientist. Three members of the School of Computing were included among the 50 chosen. The article can be found below. https://ocean.sagepub.com/blog/2018/10/8/womentofollow-in-computational-social-science

Intelligent Service Integration (ISI) Laboratory o..

Intelligent Service Integration (ISI) Laboratory of KAIST School of Computing(Prof. Han Dongsoo) has decided to carry out the international academic project for the development of Global Indoor Positioning System with Global H Company. Global H will support KAIST ＄ 400,000 for the project, which will be accompanied by technology transfer. The ISI Lab, which developed the KAIST Indoor Positioning System (KAILOS) in 2014 and released to the public, has recently developed a crowd sourcing AI technique that automatically labels the location of wireless signals acquired from unspecified number of smartphone users. In this joint international project, KAIST will upgrade location labeling AI technique using crowdsourcing to commercialization level. If the project is successfully performed, H Company is expected to install the system developed by KAIST its products and commercialize it. Professor Han Dongsoo, who will lead the international industry project with H company to be conducted over the next year, said, "It is a pity that the technology developed by KAIST will be commercialized through overseas companies before the domestic companies. The result is that domestic regulations on location services are too strict. " Professor Han Dongsoo said, "It is significant that a global company recognized the technology developed by KAIST and commissioned an industrial project for commercialization. Technology continues to decline and disappear if not developed. We will continue to expand international industry-academia cooperation in the field of indoor location recognition in the future. "

Prof. Yoon released a book on rendering that is fr..

Prof. Yoon released a book on rendering that is freely available on the web. https://sglab.kaist.ac.kr/~sungeui/render/ This book contains two parts of rasterization and ray tracing, which are two main building blocks of many advanced rendering techniques. This book will be used for some of graphics related courses at KAIST. Some parts of this book have been already used as lecture materials in some of universities in Korea.

Professor Kim Kwang-Jo, publication on network int..

Kim Kwang, professor of KAIST (President: Sang Chul Shin) Graduate School of Computing and Information Security Graduate School, along with Muhamad Erza Aminanto and Dr. Harry Chandra Tanuwidjaja, Ph.D. students from Indonesia, wrote an English book called “Network Intrusion Detection using Deep Learning : A Feature Learning Approach” (in the aspected of network intrusion detection using features of deep learning) which supported by IITP’s project on “Communication Technology Research using Bio-inspired Algorithm” from April 2018 to February 2018. He has published this in one of the cyber security systems and networking series at Springer, a prominent publisher in Germany. This book introduces various methods of intrusion detection system using deep learning, which is artificial intelligence technique and widely used in computer vision, natural language processing, image processing, etc., and described an intrusion detection technique which extracts and learns the features of intrusion traffic with very high scan rate (99.918％) and low false positives (0.012％) compared to existing skills. Annexes include technical trends on artificial intelligence techniques for detecting malicious codes. This book will serve as a good guide for undergraduate and graduate students, R & D personnel in providing practical knowledge of establishing cyber security systems regarding graft artificial intelligence onto cyber security. 참조: https://www.springer.com/gp/book/9789811314438

Professor Moonzoo Kim of School of Computing invit..

Professor Moonzoo Kim of KAIST's School of Computing was invited as a keynote speaker of the 15th Intl. Conf. on Formal Aspects of Component Software (FACS) which will be held on October 10-12, 2018 with Professor Edward Lee of UC Berkeley and Professor Gigore Rosu of UIUC.http://sevlab.postech.ac.kr/facs18/invited-speakers/ Keynote Title: Lessons Learned from Automated Analysis of Industrial SW for 15 Years

Professor Hwang Sung-joo, selected as the winner i..

Professor Hwang Sung-joo of School of Computing was selected as the winner in the Google AI Intensive Research Awards program announced on September 13th through Google Korea blog. related article: https://korea.googleblog.com/2018/09/googleaifocusedresearchawardsprogram.html

“The Next Big Thing ： Exploring Block Chain from C..

The Tech Forum held at the KAIST Academic Cultural Center on September 7, 2018 entitled "The Next Big Thing: Exploring Block Chain Technology from Computer Science" hosted by the KAIST School of Computing and runned by the Korean Women's Science and Technology Association. Professor Ryu Seok-young of School of Computing and Graduate School of Information Security and Professor Kim Yong-Dae of the Department of Electricity and Electronic Engineering held this forum sponsored by KAIST Cyber ​​Security Research Center. Students who study block chain in various schools such as Seoul National University, Sogang University, Sungkyunkwan University, Yonsei University, Korea University, Catholic University, Chungang University, Soongsil University, and 130 people who develop block chained technology such as Ground X, Hashid, Bon Angels and Balance Hero participated in the exhibition including members of KAIST. https://blockinpress.com/archives/8822 https://blockinpress.com/archives/8845 https://outstanding.kr/discussion/?action=readpost&post_id=418596

Dr. Hoon Sung Chwa, a Ph.D. joined DGIST as an ass..

As of August 6, Dr. Hoon Sung Chwa (Advisor: Insik Shin) joined DGIST as an assistant professor. Professor Chwa received the BS, MS, and PhD degrees from KAIST, Daejeon, Korea, all in Computer Science, in 2009, 2011, and 2016, respectively. His PhD thesis deals with the topic of advancing multi-core scheduling for real-time embedded systems. Prior to joining DGIST, he worked as a research fellow at the University of Michigan, Ann Arbor, MI, USA, from October 2016 to July 2018. His research interests include system design and analysis with timing guarantees and resource management in real-time embedded systems and cyber-physical systems. He published more than 15 international journals/conferences, including top conferences in the field of real-time systems (e.g., IEEE RTSS, IEEE RTAS, ACM EMSOFT, etc). He won two best paper awards from IEEE RTSS in 2012 and from IEEE CPSNA in 2014.

Dr. Lee Young Ki, appointed as an assistant profes..

Dr. Lee Young-ki (advisor: Song Jun-hwa) from our School of Computing was appointed as assistant professor of computer science at Seoul National University in September, 2018. Dr. Lee Young-gi graduated from our undergraduate master's doctoral program. Since 2013, he has been a professor at the University of Singapore Business School and was appointed to the Computer Engineering Department of Seoul National University in this September. Professor Lee doing research in mobile and ubiquitous systems, OS support for mobile / IoT / wearable devices, large-scale data analytics and experimentation platforms, and computational social sciences and has published many papers on ACM MobiSys, ACM SenSys, ACM / IEEE IPSN, ACM UbiComp, ACM CSCW and ACM CHI, the top academic colloquium in related field. He is active in the academic program committee and organizing committee and also co-chair of the ACM UbiComp program in 2018.

KAIST developed watermarking technology based on a..

Related articles "KAIST, Artificial Neural Network based watermarking technology development" of Professor Lee Heung-kyu of School of Computing http://www.irobotnews.com/news/articleView.html?idxno=14980 http://news.mt.co.kr/mtview.php?no=2018091114354893731

Professor Choi Key-Sun fixed incorporation COLING ..

Professor Choi Key-Sun, head of bidding committee for International Conference on Computational Linguistics(COLING), participated in the presentation of the ICCL Steering Committee held in Santa Fe, New Mexico from 20th to 26th August, and confirmed the 29th COLING in Gyeongju, Korea in 2022. Computational linguistics is a core area of ​​the Fourth Industrial Revolution that completes artificial intelligence as an integrated field of computer science and linguistics that allows machines to understand and respond to human speech and writing. COLING is a global conference on computerized languages with over 1200 participants from 50 countries every two years. It has been held tying the authoritative ACL (The Association for Computational Linguistics) and the International Conference on Language Resources and Evaluation (LREC) in the field of computational linguistics. The Main Conference has about 1,000 papers submitted, about 300 of which are presented. The main conference includes demo sessions, tutorials, and more than 10 workshops. COLING 2022 is expected to be held for about one week starting from Hangul Day on Oct. 9, 2022. It is expected to contribute greatly to the development of computer language related industries and human resources development. It will be able to show the status and leadership of computer linguistics in Korea.

Professor Park Jin-Ah appointed as Non-standing Di..

On September 5, Park Jin-Ah, a professor of School of Computing, was appointed as a non-standing director of the National Science and Technology Research Council (NST). The Board of Directors is the highest decision-making body for research meetings and performance management, and is a body for deliberating and resolving major issues of research associations and jurisdictional institutions. It is composed of existing directors with 5 ministers and directors recommended by industry-academic research institutes and appointed by the Ministry of Science and ICT.

Professor Lee Dong Man and Professor Shin In Shink..

The research of Professor Lee Dong-Man and Shin In-Shink has been published in Breakthroughs, an English research web site of the College of Engineering. Professor Lee Dong-Man ＊ Title : Discovering polymorphic urban characteristics from social media ＊ Link : http://breakthroughs.kaist.ac.kr/?post_no=1203 Professor Shin In Shink ＊ Title : Mobile plus: multi-device mobile SW platform for transparent cross-device functionality sharing ＊ Link : http://breakthroughs.kaist.ac.kr/?post_no=1201

Professor Min H. Kim selected as 6 core patent tec..

Professor Min H. Kim selected as 6 core patent technologies of KAIST "Ultra Spectroscopic Imaging Technology" of Professor Min H. Kim of School of Computing has been selected as the six key patent technologies of KAIST and announced at the COEX Seminar on September 10, 2018 in Samseong-dong. This event is a six-key patent technology including biotechnology, artificial intelligence, nanotechnology, and semiconductor fields such as immuno-activated chemotherapy and AI-based super high-resolution image conversion technology. 2018 KAIST Core Tech Transfer Day website: http://tech4.kaist.ac.kr/ [Related article : ETNews ] http://www.etnews.com/20180920000185 2018 KAIST Core Tech Transfer Day Introduction KAIST (President, Shin, Sung-cheol) introduces six key patent technologies, including the 'Immune Activation Cancer Therapeutics' to activate the immune response of the patient to induce the body's innate immune system to kill cancer cells and 'ultra-high-resolution image conversion hardware technology' which instantly convert low-resolution images to high-resolution images (4K UHD) using real-time AI (Deep Learning) technology , which will be commercialized immediately. KAIST announced on October 3 that '2018 KAIST key patent technology transfer briefing seminar' will be held at COEX, Seoul, from 1 pm on October 10 under the supervision of the Industry-academia cooperation team (chief, Choi Kyung-chul). This seminar was designed to create an industry-university cooperation model that not only creates jobs but also enhances corporate competitiveness by transferring the superior technologies possessed by researchers of KAIST to companies. Officials from industry-academia cooperation team said that "We prepared this briefing as part of the innovation plan for technology commercialization, one of the five innovation areas of KAIST Vision 2031, which announced in March that KAIST will become the world's leading university by 2031." and announced that they will hold a briefing every year to select patent technology and transfer it to companies. KAIST plans to provide business finance support services through cooperation with the Technology Guarantee Fund to companies that transfer selected technologies. These companies will also receive various services from KAIST, such as business model development, patent-R & D linkage strategy analysis, domestic and foreign marketing priority promotion. The technology that KAIST introduced this year is the core patent technology of bio, nano, artificial intelligence, and semiconductor which is the center of the 4th industrial revolution. ① New nano patterning platform technology (Prof. Jung Hee Tae, Department of Chemical and Biological Engineering) ② Obtain candidate substances for immuno-activated chemotherapy (Prof. Byung-Seok Choi, Department of Chemistry) ③ Technology capable of mass production of biofuels using microorganisms (Professor Lee Sang-yeol, Department of Biochemical Engineering). ④ Compact single-shot ultra-spectral camera technology (Prof. Min H. Kim, School of Computing) ⑤ High-speed, high-resolution up-scaling technology based on AI (Deep Learning) (Prof. Moon-Chul Kim, Department of Electrical and Electronics Engineering) ⑥ Radiation-resistant MOSPET device (Prof. Hee-cheol Lee, Department of Electrical and Electronics Engineering) are included in six core patent technologies. In particular, Prof. Kim Mun-cheol and Prof. Min H. Kim's patent technology was introduced and exhibited at the International Household Appliance Expo (IFA 2018) held in Berlin, Germany from August 31 to September 5, attracting much attention from participants. The six core technologies selected by KAIST are highly influential in the industry and have been chosen considering the applicability to various fields in the future, market size, and technological innovation. To this end, KAIST has been conducting public consultations on excellent technologies in the campus, where professors directly researched and developed the patent, consulted and evaluated them with a panel of about 15 judges, including patent attorneys, venture investors, and commercialization experts. About 200 people, including business stakeholders and investors, will be invited to discuss the mutual cooperation plan including technology development and technology transfer. Professor Lee Sang-yeop, a researcher, and 6 professors will attend the meeting, present 15 minutes for each patented technology and consult about technology transfer at the site. In addition to this, President Shin Sung-chul, acting president of Korea Technology Guarantee Fund Kang Nak-kyu, CEO of Korea Softbank Lee Joon-pyo, and the president of KAIST's alumni association Cha Gi-cheol will participate in the 4th Industrial Revolution era and emphasize the significance of technology commercialization related to advanced technology held by the university. Professor Kyung-chul Choi, head of the KAIST's Industrial and Academic Cooperation Group, said, "With this tech transfer briefing, we will introduce the core patent technologies of KAIST to companies and develop them into global growth." "We will continue to discover core patent technologies and ideas for various projects that have not yet been discovered, thus activating the technology business using core technologies and actively pursuing industrial cooperation projects." said Choi.

Dr. Hong Seok-in, Assistant professor at Kyungpook..

Hong Seok-In (advisor: Soon-Tae Kim), a graduate of KAIST's School of Computing, was appointed as an assistant professor of computer science at Kyungbook National University. After graduating, he worked as a senior researcher at Samsung Electronics and worked on DRAM design. After that, he worked as a postdoctoral researcher at IBM TJ Watson Research Center and conducted research on low power memory system, near-data processing, and secure processor architecture . https://sites.google.com/view/seokinhong/

Professor Kwon Young-jin is newly appointed

Professor Kwon Young-jin has come to our School of Computing on August 27, 2018. Professor Kwon Young-jin received his Ph.D. from the University of Texas at Austin in 2018, and majored in Operating systems and System security. https://cs.kaist.ac.kr/people/view?idx=582&kind=faculty&menu=160 We sincerely congratulate you on your appointmen