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.