Programming Languages Laboratory
Homepage is currently broken and we are fixing it. Sorry for any inconvenience.
Prof. Choe's Lectures
KAIST CS522 Automata and Formal Languages Theory (2013 Spring)
KAIST CS322 Formal Languages and Automata (2012 Fall)
KAIST CS204 Discrete Mathematics (2010 Spring)
Prof. Han's Homepage