KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

Programming Systems Laboratory

Faculty Name
Kihong Heo
Research Area
Computing Theory, Software Design, Secure Computing
Website
https://prosys.kaist.ac.kr
E-mail
Phone
042-350-7781
Office
#2322, N5

Our research aims to develop next-generation programming systems for secure and reliable software. We are building real-world software systems including AI-based program analysis systems for detecting deep semantic software bugs, general-purpose program simplification systems for secure and efficient software, scalable program synthesis systems for automatic software generation and repair. We also design fundamental theories for programming languages, program analysis, and machine learning on which such real-world systems are based.

list