KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

Programming Languages Lab

Faculty Name
Kwang­Moo Choe
Research Area
Computing Theory
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