PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Kihong Heo

Registered user since Sat 26 Aug 2017

Name:Kihong Heo

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.

Country:South Korea
Research interests:Program Analysis, Programming Language, Machine Learning


Show activities from other conferences

PLDI 2024-profile
View general profile