Prof. Byunghoon Kang and his team is awarded a res..

ONR (Office of Naval Research, Department of Defense, USA) decided to support Prof. Byunghoon Kang's project "Towards Dia

Prof. Jong Cheol Park＇s lab has been selected as S..

The Korean Ministry of Science and ICT and IITP selected Prof. Jong Cheol Park's laboratory as a SW Star Lab of intelligent so

Professor Sukyoung Ryu delivered a keynote speech ..

Prof. Sukyoung Ryu delivered a keynote speech on “Static Analysis of Android Applications for Finding Bugs and Security Vuln

Profs. Sukyoung Ryu, Sung-Ju Lee, Junehwa Song, an..

Profs. Sukyoung Ryu, Sung-Ju Lee, Junehwa Song, and Min H. Kim’s research projects were selected to be presented in KAIST Br

ICSE 2018 Paper acceptance

KAIST team has newly suggested the unit testing of C programs that can find errors automatically while minimizing false alarms. P

Two papers accepted at ACM POPL 2018, a top intern..

Two papers from the KAIST School of Computing got accepted for ACM POPL 2018, a top international conference on programming langua

Prof. Sung-Ju Lee＇s SCAN and Prof. Alice Oh＇s Elip..

Prof. Sung-Ju Lee's SCAN and Prof. Alice Oh's Eliph system were selected to be presented in KAIST Breakthroughs.

Prof. Hongseok Yang presented a keynote at QONFEST..

KAIST SoC Prof. Hongseok Yang presented a keynote at QONFEST’17 as a joint invited speaker for CONCUR, QUEST, and FORMATS.

Prof. Sang Kil Cha’s paper accepted by IEEE／ACM AS..

IEEE/ACM ASE 2017 (Automated Software Engineering), a top international conference on software engineering, accepted a paper from

Prof. Dongman Lee Unveils “Placeness Data Mining a..

ㅁ KAIST Professors Dongman Lee, Wonjae Lee, Juyong Park, Meeyoung Cha, and their respective research teams unveiled their “P

CCA 2017 Held

From July 24 to 28, KAIST’s School of Computing organized and hosted the 14th International Conference on Computability and

KAIST SoC Associate Prof. Jinah Park Presents the ..

KAIST School of Computing Associate Professor Jinah Park presented the keynote at the 21st Medical Image Understanding and Analys

KAIST Computer Graphics enters world top 20

KAIST became the first Korean university to have one of the world’s top 20 Computer Graphics research institutes, based on t

Three KAIST SoC papers presented at ACM CSCW 2017

Three papers by KAIST SoC students Jung Guk Park (Doctorate, advisor: Prof. Alice Oh), Chunjong Park (M.S., advisor: Prof. Sung-Ju

Crowdsourcing based global indoor localization sys..

School of Computing Intelligent Service Lab (Prof. Dong-Soo Han) announced that they have developed a system for providing global

HCI＠KAIST Research Society

The first seminar by HCI＠KAIST Research Society was held last Thursday (October 13th). HCI＠KAIST Research Society was organized

Endoscopic Navigator

Professor Dong Soo Han’s laboratory in KAIST School of Computing developed an on-campus indoor/outdoor navigation system cal

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

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

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 Laborator

The proposal, ˝(SW Star Lab) Nearest Query Softwar..

The proposal from Scalable Graphics/Geometric Algorithm Lab. (Professor Sungeui Yoon), with the name of, “(SW Star Lab) Near

ACM Interactions： Day in the Lab： “KAIST’s Human-C..

Interactions, a bi-monthly magazine published by the Association for Computing Machinery (ACM), the largest educational and scient

Research on MapReduce Triangle Enumeration

[Prof. U Kang] The triangle enumeration problem is regarded as one of the fundamental graph mining problems. Its various applic

Artificial Intelligence and Machine Learning

[Prof. Kee-­Eung Kim] The ultimate goal of artificial intelligence (AI), which is in essence building intelligent systems,

Developing a hyperspectral 3D imaging system and s..

[Prof. Min H. Kim] 3D imaging techniques have been broadly used in manufacturing, entertainment and military industries. Howeve

Analysis on Media Characteristics of Twitter

[Prof. Sue Bok Moon] Via quantitative analysis with the not-sampled, but complete data, we show media-like characteristics of T

Scalable Big Graph Mining

[Prof. U Kang] Scalable big graph mining using distributed systems opens new opportunities for the discovery of interesting pat

Smartphone-based Interaction Sensing to Innovate O..

[Prof. Junehwa Song] Advancing our smartphones as conversational interaction sensing platforms to promote social health in ever

Internet of things and system software

[Prof. Dae Young Kim] The term Internet of Things was firstly introduced in 1999 by Kevin Ashton at the Auto-ID Labs, MIT, wh

Investigating Reliable Computing Systems in Nano-s..

[Prof. Soontae Kim] With technology scaling, feature sizes, and supply and sub-threshold voltages are decreasing for high perfo

OncoSearch： A web tool that searches biomedical li..

[Prof. Jong Cheol Park] OncoSearch (http://oncosearch.biopathway.org) is a web tool that allows the user to query into biomedic

High-physicality touch interfaces

[Prof. Geehyuk Lee] Touch interfaces are now a de facto standard for information appliances. They enabled more direct and natur