• korea
  • search
  • login



  • Most Influential Paper Award at ACM POPL 2019, a top interna
  • Software Security Lab of the Graduate School of Information
  • Professor Moonzoo Kim, adopted an ICSE 2019 SE in Practice (
  • Development of Computer-Anti-Error-Preventing Tools for Andr
  • Professor Kim Dae-young Awarded Government Innovation Winner
  • Watching Youtube by using a mirror as a touch screen
  • Four papers belonging to KAIST's School of Computing are sel
  • Presented a paper at ACM POPL 2019, the world's leading acad
  • Professor Cha Mi-young was Chosen as IBS CI(Chief Investigat
  • MARS AI Integrated Research Center held ‘KAIST AT NeuralPS 2
  • KAIST Develops Next Generation Binary Analysis Platform B2-R
  • APLAS 2018 International Congress was hold(KAIST sponsored,

Research Highlights

  • UbiTap
  • RecipeScape An Interactive Tool for Analyzing Cooking Instru
  • Advancement of preventive and predictive medicine in Healthc
  • Replicate Physical Objects for AR/VR using a Smartphone
  • Testing Deep Learning Systems
  • Detecting Fake News Online
  • Zaturi: We Put Together the 25th hour for You. Create a Book
  • Mobile Plus


  • CSMAIL service will be closed

    The CSMAIL service, which has been provided by Computer Science Dept., will be closed on May 2, 2019 CS Mail users should refer to the following for mail backup and forwarding e-mail address application. 1. Service suspension date: May 2, 2019, 10 am 2. Stopping range A. Sending with CS mail

  • 2018 Microsoft Research Asia Fellowship Program (Deadline:6/29/2018)

    Microsoft Research Asia cordially invites top junior PhD students to apply for the 2018 Microsoft Research Asia Fellowship Program. The MSRA Fellowship Program aims to build the next generation of research leaders with a unique program offering a combination of scholarship, mentorship, research,

  • KAIST School of Computing Graduate Admission Information Session

    KAIST School of Computing Graduate Admission Information Session ■ Daejeon - When: Friday, March 23rd 2018, 4:00 PM - Where: KAIST N1 Bldg., Room 201 ■ Seoul - When: Friday, March 30th 2018, 6:00 PM - Where: KAIST Dogok Campus Room 103

  • Guidance on Issuance of Certificate of Completion for Undergraduate Students Who

    A. Applicability Students who entered the university after 1998 and have satisfied credit requirement for graduation (those who have satisfied the requirements for undergraduate course work including 9AU in physical education and voluntary service, etc.), but failed to meet the Englis

  • Academic Reinstatement for the 2017 Fall Semester

    Students expected to return to school 2017 Fall Semester must apply reinstatement during the designated period (Monday, July 31, 2017 - Friday, August 4, 2017) with approval of your academic advisor and the head of your department/program on the Academic System. (According to the Academic Rules and

  • Spring 2017 Ph.D. Qualifying Exam

    All Ph.D. students must pass their qualifying exams within a year and a half after entering the program. To pass the exams they must receive scores over 60 out of 100 on each written exam or get a grade of A- or higher on each course in the three areas: Theory, Software, Computer Systems. Student

  • Readmission Guideline for Fall 2017

    [Refer to the instructions below on application for readmission in Fall 2017 for dropouts and expelled students.] □ Eligibility : Dropouts and expelled students of Undergraduate or Graduate programs □ Deadlines ○ Submission by students : submit to the department/division office by Friday, June

  • Summer Internship and Research Scholars at EPFL

    EPFL offers Summer internships for BSc and MSc students as well as Research Scholar fellowships for MSc students. The goal of the internship program is to allow top international students in Computer Science and Engineering, Telecommunications or Electrical Engineering to discover our campus and

Seminars & Events

  • [Seminar] Dynamic Typing Reloaded: A View of Gradual Typing from the 90s, Fritz

    Fritz Henglein (DIKU and Deon Digital)

    Tue, Mar 26, 2019

    E3-1 Room 4448

  • [SoC Colloquium] Fritz Henglein (University of Copenhagen / Doen Digital AG / Pr

    Fritz Henglein (University of Copenhagen / Doen Di

    Mon, Mar 25, 2019

    KAIST Computer Science Dept. Building E3-1 Room #1501

  • School of Computing AI+X forum: AI+Education

    Fri, Mar 22, 2019

    N1 117

  • [Seminar] Learning to Understand Entities In Text, Eunsol Choi (University of Wa

    Eunsol Choi (University of Washington)

    Mon, Mar 18, 2019

    E3-1 Room 4443

  • [SoC Colloquium] Joyce Jiyoung Whang (황지영), 성균관대학교(SKKU), Feb 25

    Joyce Jiyoung Whang (황지영), 성균관대학교(SKKU), 컴퓨터공학과 조교

    Mon, Feb 25, 2019

    KAIST Creative Learning Building (E11) Room #309

  • [Seminar] Program Characterization & Code Review - Dr. Dongsun Kim / Donggyun Ha

    김동선 (Dongsun Kim), Research Associate, University

    Thu, Feb 14, 2019

    N1 625

  • [HCI@KAIST Seminar] 12-1pm 1/18 (Fri) ˝Designing for Collaborative Data Analysis

    Nitesh Goyal (Google)

    Fri, Jan 18, 2019

    Room 102, Building N1

  • Announcing the inaugural [AI+X Forum]: AI+Politics

    김소영 교수 (So Young Kim, KAIST 과학기술정책대학원), 김인송 교수 (In

    Thu, Jan 17, 2019