Directions

Programming Languages Lab

Faculty Name
Kwang­Moo Choe
Research Area
Foundations
Website
http://adamant.kaist.ac.kr/
E-mail
Phone
042-350-7720
Office
#2422, E3-1

Programming Language Design and Implementation
- Programming Language for Human

Static Analysis for Android Java
- Find potential risks before application execution

list