KAIST - COMPUTER SCIENCE

  • korea
  • search
  • login

Directions

Kihong Heo

Assistant Professor

Research Area
Computing Theory, Software Design, Secure Computing
Major
Program Analysis, Programming Language, Software Security
Education
PhD, Seoul National University, 2017
Website
https://kihongheo.kaist.ac.kr
E-mail
Phone
3581
Office
2321, N5
Lab
Programming Systems Laboratory

Kihong Heo is an assistant professor at KAIST. He is leading the Programming Systems Laboratory and his research aims to develop programming systems for safe and reliable software. In particular, his work has focused on program reasoning, synthesis and transformation systems based on programming language theories and AI techniques. Before joining KAIST, he had been a postdoctoral researcher at the University of Pennsylvania. He obtained his Ph.D. and B.S. in Computer Science and Engineering from Seoul National University. His research on program analysis was recognized by Facebook and was integrated into Facebook’s Infer static analyzer in 2017. He received distinguished paper awards at PLDI and ICSE in 2019. 

list