Kihong Heo is an Assistant Professor of the School of Computing and Graduate School of Information Security at KAIST. His research aims to develop programming systems for safe, simple, and smart software. In particular, his work has focused on advanced program reasoning systems enabled by semantic-based program analysis and AI techniques. His research has been recognized by ACM SIGPLAN Distinguished Paper Award at PLDI 2019, ACM SIGSOFT Distinguished Paper Award at ICSE 2019, and Facebook’s Infer static analyzer. He obtained his Ph.D. and B.S. in Computer Science and Engineering from Seoul National University. Prior to joining KAIST, he was a postdoctoral researcher at the University of Pennsylvania.