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.