KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

  • NRF Midsize Core Research Appointment

    The research proposal, “Software Testing and Debugging Automation Technology for Quality Improvement,” of Software Testing and Verification Group (SWTV) laboratory of the School of Computing (advisor: Moonzoo Kim) has been accepted as a midsize core research project of the National Research Foundation of Korea (NRF). (100 million in KRW (about 87,000 in USD) per year, 3 years since June 2016) Congratulations on the appointment.

    ...Read more
  • Microsoft Research Japan-Korea Academic Day 2016 A..

    Professor Moonzoo Kim of School of Computing has been appointed to the Editorial Board from the Journal of Software Testing, Verification and Reliability (STVR), which is one of the best journals in software engineering. Congratulations on the appointment.

    ...Read more
  • Microsoft Research Japan-Korea Academic Day 2016 A..

    Professor Insik Shin and the student Hyo Soo Kim won the first prize from Poster & Demo presentation on Microsoft Research Japan-Korea Academic Day 2016 which held on Tokyo, Japan in May 20th. • Title: I can hear your touch-screen taps: leveraging tapsound to infer tapstorkes on mobile touch-screen devices • Abstract: Introduces a new side-channel hacking methodology using smartphone’s voice information in mobile security field Microsoft research cooperates worldwide research institutes in various research fields including computer science, and Microsoft Research Japan-Korea Academic Day is a innovational technology exchange program for scholars in Korea and Japan, who are participating in innovational projects with Microsoft. Congratulations on winning the award.

    ...Read more
  • National Research Foundation of Korea Webzine Vol...

    The following URL is about Professor Jinah Park of School of Computing from the article, National Research Foundation of Korea Webzine Vol. 5, “Meeting researchers – a global woman leader” (http://webzine.nrf.re.kr/nrf_1605/?chapter=2&sub=1)

    ...Read more
  • Professor Sungwon Kang has been elected as the ​ P..

    Professor Sungwon Kang of the School of Computing has been elected as the ​ P resident of the Software Engineering Society of Korean Institute of Information Scientists and Engineers (KIISE) in March 2016, and he will be on the position until February 2018. The Software Engineering Society was established in 1987 to contribute for the scientific, academic, and technological development of the software engineering field in Korea. The organization provided opportunities to share theories, experiences, and technologies on software engineering. The Software Engineering Society publishes their journal periodically, holds the Korea Conference on Software Engineering every year, and provides many other opportunities for sharing information for software engineering researchers, such as special lectures, invitation seminars, and the night for software engineering researchers.

    ...Read more
  • QS World University Rankings by Subject 2016 - Com..

    QS World University Rankings by Subject 2016 - Computer Science & Information Systems: KAIST SoC QS was ranked among the top 36 around the world & no.1 in Korea. DETAILS: ACADEMIC REPUTATION : 79.7 EMPLOYER REPUTATION : 88.9 CITATIONS PER PAPER : 87.1 H-index : 90.4

    ...Read more
  • Dr. Seonah Lee has been appointed to the assistant..

    Dr. Seonah Lee from the School of Computing (advisor: Professor Sungwon Kang) has been appointed to the assistant professor of the Department of Aerospace and Software Engineering, Gyeongsang National University. Dr. Lee entered her Ph.D. research program in fall 2010 and obtained her Ph.D. on August 2013 with research into a recommendation system on understanding source code for software developers in software evolution based on her work experience in Samsung Electronics. She published five international journal papers including an S-level journal (IEEE Transactions on Software Engineering) and six international conference papers. She also developed the actual product based on her research (navmine.com). Congratulations on your new appointment.

    ...Read more
  • Industrial-educational cooperation agreement betwe..

    On last Wednesday (February 24th), the School of Computing made an industrial-educational cooperation agreement between KAIST and EXEM, Co., Ltd for the cooperative R&D on big data operation..

    ...Read more
  • 2016 KAIST Robot Programming IT Camp

    On February 26th, 2016, the School of Computing opened, ‘2016 KAIST Robot Programming IT Camp,’ in digital laboratory room to help young students understand the recent trend of software and its importance with robot theory and practical training. This camp was supported by Institute for Information and Communications Technology Promotion (IITP) and the School of Computing at KAIST. The program was supervised by Professor Taisook Han and Joon-sang Lee. In addition, Professor Sungho Jo and students, Honnggu Lee (Ph.D. candidate); Bongjae Choi (Ph.D. candidate); Moonwon Yoo (Master candidate); Byeonguk Bae (Master candidate); and Jinhwan Hwang (Master candidate) were in charge of the overall program.

    ...Read more
  • Dr. Shin Hong has been appointed to the assistant ..

    Dr. Shin Hong from the School of Computing at KAIST (advisor: Professor Moonzoo Kim) has been appointed to the assistant professor of the School of Computer Science and Electrical Engineering at Handong Global University. Dr. Hong obtained his Ph.D. on August 2015 with research into concurrent program analysis from Software Testing and Verification Group (SWTV) Laboratory at KAIST. As a recognition of his excellent job during his four years of Ph.D. study (3 SCI journals as a first-author, 1 S-level international conference as a first-author, Samsung Human-Tech bronze award for making a third place, excellent paper award from Korean Institute of information Scientists and Engineers (KIISE), Qualcomm award, and others), he has been appointed as a professor after the graduation. We hope Ph.D. graduates enter the academic world continuously.

    ...Read more
  • Faculty award of 2016 for the celebration of 45th ..

    As a commemoration of 45th year of the foundation, Professor Insik Shin (academic award), Alice Oh (creative lecture award), and Jinah Park (contribution award). Congratulations for the award!

    ...Read more
  • The graduated members of the School of Computing d..

    Last year, an undergraduate student at KAIST donated his earnings from his developed app to the school. This time, the graduated students donated their earnings from the app they sold. Last December, the School of Computing student, Young-Hoon Park (25 years old), donated 10 million KRW ($8,200 USD). On September 9th, 2014, Park sold his smartphone application “Seoul Bus” to Kakao Corp. and donated the part of the earnings as a grateful to the school. In addition, Dong-Woo Kim (29 years old) who graduated from the school also donated 10 million KRW to KAIST with a message to use it for his younger students on last December. They are all graduated from the School of Computing at KAIST and worked together for the social commerce company, ‘Rottyful.’ The younger students’ donation news lead to the seniors’ donation; they founded a startup company, ‘Rottyful,’ together. The 8 co-founders of ‘Rottyful’—Kyung Ryul Goo (33), Dong Ju Kim (34), Dong Hee Yoon (34), Joon Ki Lee (34), Cham Sol Lee (33), Hyun Jong Lee (34), Sung Hoon Jang (33), and Joo Young Jung (34)—donated 100 million KRW ($82,000 USD) total, on last December. ‘Rottyful’ is a social commerce company provides a discount sale information based on the location information. This is the first service provides a real-time nearby discount information from the user’s location information. The service has spotlighted for the investigation of SoftBank Ventures Korea Corp, and has merged to Kakao Corp. in 2011. The alumnus, Sung Hoon Jang said, “I heard the news that my younger students have donated to the school,” and said, “We used to talk about the donation before, but we couldn’t take it to action. We were very proud of them when we heard the news, so we decided to donate as well.” The alumnus, Cham Sol Lee said, “We decided to donate together without any hesitation because we all were interested in the donation before,” and said, “We get a benefit from the school even after the graduation. I hope this donation to be helpful to the school.” After Kakao Corp. merged Rottyful, the startup members of Rottyful have lead Kakao’s growth. Now, most members have retired from the company and preparing for the next startup. The alumnus, Hyun Jong Lee said with smile, “I hope our donation lead to the other student’s donation,” and said, “We are planning on another startup, so we will work hard to donate more.” President Sung-Mo Kang at KAIST said, “The graduated students’ interest and investment is the motivation of KAIST’s growth,” and said, “I greatly appreciate for the alumni to support and encourage our school.” The appreciation plaque to the Rottyful startup members will be held at 1:00 PM, on Monday, February 1st.

    ...Read more
  • NXC Corp. CEO, Jung-ju Kim received an alumni awar..

    On November 24th, NXC Corp. Chief Executive Jung-ju Kim received an alumni award from the School of Computing in the room #1501, E3-1. Kim received the award for the contribution of leading the field of national digital contents and improving the information service industry. There were about 200 students, and the president and vice-president of KAIST also attended to the ceremony.

    ...Read more
  • New faculty announcement: Professor Sang Kil Cha

    We are delighted to announce that Professor Sang Kil Cha has been appointed to the School of Computing at KAIST on November 16, 2015. Professor Sang Kil Cha obtained his Ph.D. from Carnegie Mellon University with research into Software Security and Program Analysis. His office is in Room 2220 of N5, and his office number is 3569. Congratulations on your new appointment.

    ...Read more
  • Signboard Hanging Board of Cho Jung-Wan CAIR Room

    On November 6th, there was a signboard hanging ceremony for celebration of the ‘Cho Jung-Wan CAIR Room,’ to commemorate Professor Jung-Wan Cho’s contribution to the School of Computing at KAIST. A number of faculty, students, and staff participated in this ceremony. The procedures of the event included a welcoming ceremony, plaque presentation, acknowledgement of appreciation, and introducing undergraduate programs. Professor Doo-Hwan Bae, the Head of the School of Computing at KAIST said, “This ceremony is meaningful for reminding Professor Jung-Wan Cho’s constant love and support of other faculties as a senior professor from the beginning of the School of Computing (formerly Computer Science Dept.), and his donation and support will help the School of Computing prosper and encourage the donation system. Professor Jung-Wan Cho had been in KAIST from 1973 to 2005, and he was also the president of The Korean Institute of Information Scientists and Engineers (KIISE), and the president of Center for Artificial Intelligence Research (CAIR).

    ...Read more
  • Professor Key-Sun Choi received the Order of Servi..

    At the opening ceremony of commemorating the 569th anniversary of the proclamation of Hangeul that was held at the Sejong Center last Friday, the 9th of October, Professor Key-Sun Choi of KAIST’s School of Computing was conferred the Order of Service Merit Aquamarine Stripes Medal for his distinguished, life-long contribution to the development and promotion of Hangeul and the Korean language. Professor Choi has not only developed a natural language processing parser that enables effective data-processing of Hangeul and the Korean language, but also internationally commercialized its sharing software. Professor Choi has been contributing greatly to the informatization of Hangeul in many different ways as well, by constructing Korean-language-oriented dictionaries for computers and so forth. Having acknowledged his such ability and effort both at national and international level, Professor Choi is continuing to play a leading role in a wide variety of academic conferences and standardization organizations. Related Video : https://youtu.be/OYDGb9KsseM Related Article : http://www.mcst.go.kr/web/s_notice/press/pressView.jsp?pSeq=14594&pMenuCD=0302000000&pCurrentPage=1&pTypeDept=&pSearchType=01&pSearchWord

    ...Read more
  • Professor Junehwa Song has been appointed as a Gen..

    Professor JunHwa Song of School of Computing at KAIST has been appointed as a General Chair of the ACM Conference on Embedded Networked Sensor Systems (ACM SenSys). Since its start in the year of 2003, SenSys is an annual conference on networked sensor systems, and this is the first time to hold the conference in Asia. In these days, the conference has been introducing not only networked sensor systems, but also new applications, mobile sensing, internet of things, smart devices, and security-related issues. The conference has been recognized for putting an effort towards commitment to continuous innovation and the importance of sensor technology today. Professor Song has been appointed as a General Chair for not only for the academic contribution of research on mobile systems, but also for his recognition of operative planning skills. This year will be the 13th SenSys conference, and he will appoint twenty committee members from worldwide professionals and organize the overall procedures of the conference. Professor Song is a leading researcher in the field of mobile and ubiquitous computing systems. He is the first professor who published his papers to top conferences on mobile and ubiquitous computing systems, such as ACM MobiSys and SenSys. Also, he received awards, such as the first prize or the best demo award, from many different conferences. In 2014, he was appointed as a Program Chair of ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp), and new currently he is an Editorial Board of IEEE Transactions on Mobile Computing (TMC). The 13th ACM SenSys will be held in the Plaze Hotel Seoul from November 1st to 4th, and you can register on the website, http://sensys.acm.org/2015/.

    ...Read more
  • KAIST – Oberthur Technologies(OT) has signed an MO..

    To commemorate this upcoming year’s 130th anniversary of diplomatic ties between Korea and France, the French Government declared this year as ‘Korean Year,’ and they improved the mutual exchanges on science, culture, arts, and many different fields to enhance the relationship. During Korean Prime Minister Kyo-ahn Hwang’s visit to France on September 18th, Professor Kwangjo Kim of the School of Computing at KAIST signed a research and development agreement with Marc Bertin, the Chief Technology Officer (CTO) of Oberthur Technologies (OT). By this agreement, KAIST obtained an opportunity to have a practical international collaboration on mobile security and an opportunity for graduate students to participate in internships of OT. OT is an international mobile security company; OT established a research center in Korea, in July 2014, which is a forth of its research center in Asia, and they are currently conducting a research and development on smartphone security solution, with Samsung, LG, and other competitive companies in smartphone industry.

    ...Read more
  • Test-Of-Time 2006 Award

    Our early work on ray tracing received "Test-Of-Time 2006 Award" at High-Performance Graphics, 2015: RT-DEFORM: Interactive Ray Tracing of Dynamic Scenes using BVHs Christian Lauterbach, Sung-eui Yoon, David Tuft, Dinesh Manocha This work proposed bounding volume hierarchies (BVHs) for ray tracing dynamic models. BVHs are commonly used now as an acceleration data structure for ray tracing using CPUs or GPUs. This concept has been adopted by recent interactive ray tracing kernels such as Optix and Embree. It received 149 citations as of 2015.

    ...Read more
  • New Faculty Announcement: Professor Shin Yoo and M..

    We are pleased to announce our new faculty members as follows: Professor Shin Yoo (August 1st, 2015), and Professor Martin Ziegler (August 17th, 2015) Professor Shin Yoo received his Ph.D. in Computer Science, King’s College London, in 2009, majoring in software engineering and software testing. Website: http://sites.google.com/site/coinselab/ E-mail: shin.yoo (at) cs.kaist.ac.kr Phone: 042-350-3567 Office: 2405, E3-1 Professor Martin Ziegler received his Ph.D. from Universitaet Paderborn, 2002 (Habilitation, Universitaet Paderborn, 2008), majoring in complexity and real computation. Website: http://m.zie.de/ E-mail: Ziegler (at) cs.kaist.ac.kr Phone: 042-350-3568 Office: 3406, E3-1

    ...Read more
  • Endoscopic Navigator

    Professor Dong Soo Han’s laboratory in KAIST School of Computing developed an on-campus indoor/outdoor navigation system called, ‘Campus Atlas’. The system provides a direction to the destination by simply getting a visitor’s name or the room number of the building. For more information, please refer to the news article in Korean: http://www.dt.co.kr/contents.html?article_no=2015090302109976731002

    ...Read more
  • 2015 Fall Hiking and Barbecue Party on the School ..

    There will be a fall hiking for everyone (faculty, student, and staff) in the School of Computing as follows: 1. When: 11:30-19:00 on September 12, 2015 (Saturday) 2. Where: Mt. Gyejoksan and Open-air Theater [W9] (barbecue party) 3. Details: light hiking, barbecue party, algorithm band concert, prize-winning events 4. Souvenirs for Participants: lunchbox, snacks, T-shirt, and towel 5. Application URL: http://bit.ly/1EdqSUt

    ...Read more
  • New Bike Shelters Installed in front of the School..

    Before After 우리 전산학부(E3-1) 앞에있는 자전거거치대와 오토바이 보관소 개선공사를 아래와 같이 완료 했습니다. New bike shelters have been installed in front of the School of Computing (Bldg. E3-1). Please do not block the entrance by parking vehicles in the doorway for the safety of the people entering and exiting the building. ■ Installation: Computer Science Bike Shelters Installation on Information & Electronics Building ■ Details: 5 bicycle racks and 1 motorcycle racks (6 total) Installation Details Capacity ○ Installing a roof shade made up of stainless steel and polycarbonate ○ Excavation for column and placing for base concrete ○ Installing pillars made of galvalume coated with fluorine. ○ Bike racks: 35 (5 stations * 7) ○ Motorcycle racks: 5 (1 station * 5)

    ...Read more
  • IEEE / ACM International Conference on Automated S..

    A paper published from Software Testing and Verification Group (SWTV; Professor Moonzoo Kim’s Laboratory) has been accepted to IEEE/ACM International Conference on Automated Software Engineering (ASE), one of the best conferences in computer science. Congratulations for the approval! S. Hong, B. Lee, T. Kwak, Y. Jeon, B. Ko, Y. Kim, and M. Kim, Mutation-based Fault Localization for Real-world Multilingual Programs, IEEE/ACM International Conference on Automated Software Engineering (ASE), Nov 9-13, 2015 (acceptance rate: 21%)

    ...Read more
  • Professor Sukyoung Ryu’s Laboratory Received the B..

    Professor Sukyoung Ryu’s Laboratory in our School of Computing received the Best Artifact Award from ECOOP (European Conference on Object-Oriented Programming) 2015, which is one of the top conferences in programming language. Paper: Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity Authors: Changhee Park, Sukyoung Ryu Congratulations for receiving the award.

    ...Read more
  • Professor Sung-Ju Lee Received the Best Paper Awar..

    The Professor of the School of Computing, Sung-Ju Lee, has received the Best Paper Award from the 35th IEEE International Conference on Distributed Computing Systems, held in Columbus, Ohio in the United States from June 29th to July 2nd. ICDCS is the oldest and the most authoritative conference in distributed computing systems. In this year, 70 papers were accepted out of 543 submitted ones about cloud computing, data center, distributed operating system, algorithm theory, information security, social networking, green computing, sensor network, wireless mobile network, and distributed data management, and only one paper was awarded as the best paper. The paper, “Systematic Mining of Associated Server Herds for Malware Campaign Discovery”, was the study result of Texas A&M University and Symantec in the United States, and Polytechnic University of Milan in Italy. The research team presented a complementary approach to identify a group of closely related servers that are potentially involved in the same malware campaign. This paper was selected as the best paper for the excellence in new technology and validation through the actual network data. Professor Lee said, “This study is deeply meaningful as the result of industry-academic cooperation of researchers and security experts. It will be useful for network security in actual industries, campus, and internet service providers.”

    ...Read more
  • Professor Sung-Ju Lee has been appointed as a Tech..

    Sung-Ju Lee, the professor of KAIST School of Computing, has been appointed as a Technical Program Chair of the IEEE International Conference on Computer Communications (IEEE INFOCOM 2016). Started in 1992, INFOCOM is a prestigious international conference that covers various networking topics such as the Internet, wireless networking, mobility, datacenters, and others. Professor Lee is appointed as a TPC chair of INFOCOM for his contribution to the networking communications research; he is the first Korean to chair the TPC of the conference. He will select 650 technical program committee members who will review more than 1,600 paper submissions. Professor Lee is a leading researcher in wireless mobile networking systems. He is a Fellow of IEEE, and was the General Chair of ACM MobiCom 2014 (International Conference on Mobile Computing and Networking). He also serves on the editorial board of IEEE TMC (Transactions on Mobile Computing) and IEEE Internet of Things Journal. The 34th IEEE International Conference on Computer Communications will be held in April 2016 in San Francisco, California, USA.

    ...Read more
  • Identifying Digital Image Forgery Becomes Easy

    The following news reports are about the national first image forensic tool developed in Professor Heung-Kyu Lee’s Laboratory, which is on a web service for testing at 'http://forensic.kaist.ac.kr'. Don’t Even Think About Faking a Picture with Photoshop! – Donga Science 2015-06-12 The Research Team of Professor Heung-Kyu Lee in KAIST Developed ‘Digital Image Forgery Identification Technology’ In 2008, Iran announced that they launched ‘Shahab-3,’ a medium-range ballistic missile, and gave away the picture of launching four missiles for the proof. However, after revealing the picture, there was a rumor that the picture is a fake. Iran government made no comment about the rumor. Recently, a national research team developed an image forgery detector and verified the image. As a result, the detector found out three suspicious areas on the image, including smoke trails from three missiles. The research team of the professor Heung-Kyu Lee in KAIST developed an image forgery detection tool and created a webpage (forensic.kaist.ac.kr) for testing the tool. For example, if a picture of banana has modified by coloring light green on the top of the banana to make it fresh, the tool notifies the user by highlighting the modified area. Another example is that rafting people on a river; the tool even finds out that the picture is fake, a combined picture of a river and a rafting people. Professor Lee’s Team observed the statistical changes on the picture’s small dots (pixels) when modifying pictures. Using those changes, they developed the technology to find out the image forgery, such as copy-and-paste or retouches. It only takes a few seconds to find out. The research team commented that it would be helpful on research ethics or medical problems by applying the technology to pictures on academic papers, or medical videos. Professor Lee said, “The research on an image forgery detection is important, but there is a lack of research on it,” and he added, “We are planning to research on verifying various images successfully from the testing period.” Daejeon = Reporter Seung Min Jeon of Donga Science, enhanced@donga.com "Identifying a Picture from Photoshop"… On a KAIST Research Team’s Website – Chosun Ilbo 2015-06-11 By Gun Hyung Park As many people generally use digital pictures, it gets easy to modify pictures using photo editors, such as Photoshop. Modifying pictures can be critical if the picture is used for an evidence on a criminal investigation. A national research team developed an image forgery detection tool and opened to the public. Heung-Kyu Lee, a professor of KAIST School of Computing, said, “We opened a web service detects an image forgery from a digital picture, which is not noticeable to the human eye.” Lee said, “An image forgery technology has been on a research worldwide for more than ten years, but there was an issue on accuracy,” and said, “This technology can identify the forgery with a success rate of 90~95%.” The service is available on the website (forensic.kaist.ac.kr) for anyone, for free. The research team of Professor Lee developed a software application by using three image analyzing techniques introduced in the world. The basic technology is ‘Digital Multimedia Pixel Analysis’ technique. When modifying a picture, the digital image’s small dots (pixel; a smallest element in an image) rapidly cut off or smash. If there is such area, then the image is a fake. The tool also uses the technique detects a pattern generated by Photoshop by analyzing ‘compression’ and ‘restore,’ called, ‘format-based detection’ technique, and a unique pattern generated from each camera, called, a ‘camera-based detection.’ Using this tool, the research team demonstrated the picture of launching ‘Shahab-3’, a medium-range ballistic missile announced by Iran government, is a forgery. At that time, Iran government modified a different picture and announced it to hide the failure to launch the missile. However, the tool detects the alteration successfully. Professor Lee said, “When a user uploads a picture, the tool analyzes and highlights the suspicious area of the image with three analysis techniques in about a minute,” and said, “We believe that we can increase the accuracy by opening this technique to the public.”

    ...Read more
1 2 3 4 5