Directions
Home > Research > Research Labs
Computers in the next 700 years will be massively parallel. To efficiently utilize such massively parallel computers, it is necessary to tame shared mutable states, or in other words, to excel at concurrent programming. We construct foundational theories of concurrency and parallelism; based on the theory, develop simple and yet efficient libraries and programs; and build systems that will be widely used in 5-10 years in the industry.
KAIST School of Computing 291 Daehak-ro, Yuseong-gu, Daejeon, Korea 34141
ⓒ KAIST School of Computing. All Rights Reserved.