Name:Kihong Heo

Bio:

Kihong Heo is an Associate Professor of the School of Computing and the 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 FSE 2024 and ICSE 2019. 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.

Country:South Korea

Affiliation:KAIST

Research interests:Program Analysis, Programming Language, Machine Learning