Directions

Programming Languages Lab

Faculty Name
Taisook Han
Research Area
Foundations
Website
http://pllab.kaist.ac.kr/
E-mail
Phone
042-350-7833
Office
#523, N1

We perform reserach on programming language theories and their applications. Our goal includes detection and analysis of malicous codes, characterization of program properties, and software safety assurance.

list