Programming Language Research Group @ KAIST

Welcome to the Programming Language Research Group at KAIST.

Our research interests include programming languages, compilers, program analyses, and programming environments.

Our goal is to apply programming language technology to help programmers develop high-quality softwares.

We are especially interested in applying advanced type systems, certifying compilers, automated and scalable program analyses, and practical debugging and testing tools to build safe and reliable systems.

We are actively recruiting motivated postdoctoral researchers.

School of Computing

Korea Advanced Institute of Science and Technology

291 Daehak-ro, Yuseong-gu

Daejeon 34141, Republic of Korea

Phone: +82-42-350-7738 (E3-1 4409)

Phone: +82-42-350-7838 (E3-1 4410)