Introduction

We are a group of researchers in programming languages at KAIST. Our goal is to understand the principles of programming languages for developing reliable and efficient software systems. Our research topics include type theories, formal verification, program analysis, program synthesis, concurrency, parallelism, probabilistic programming, and computational learning theories. For detailed information, please visit the websites of each faculty member and research lab listed below.

---

Faculty

---

Course

• CS220: Programming Principles

• CS230: System Programming

• CS320: Programming Languages

• CS348: Introduction to Information Security

• CS402: Introduction to Logic for Computer Science

• CS420: Compiler Design

• CS423: Probabilistic Programming

• CS431: Concurrent Programming

• CS492: Program Reasoning

• CS520: Theory of Programming Languages

• CS524: Program Analysis