Home > Research > Research Labs
Introduction to the Programming Language Research Group
Programming Language Research Group at KAIST focuses on applying programming language technology to help programmers develop high-quality software. Our research interests include programming languages, compilers, program analyses, and programming environments. 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.