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)


We are using Zulip Cloud Standard hosting sponsored by Zulip.

Zulip is an open-source modern team chat app designed to keep both live and asynchronous conversations organized.