2012-07-12
org.kosen.entty.User@ae51d6
김소연(sykim0807)
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 MS/PhD students and postdoctoral researchers.
