Kihong Heoمشاهده پروفایل
دانشیار
Kihong Heo is an Associate Professor at the School of Computing and Graduate School of Information Security, KAIST, Republic of Korea. He leads the Programming Systems Laboratory and has held academic positions since 2017, including Assistant Professor (2017-2020) and Associate Professor (2020-2024). His research focuses on developing program reasoning systems for safe and reliable software, with key contributions in AI-based program analysis, program simplification, and scalable synthesis systems. His educational background includes a Ph.D. and B.S. in Computer Science & Engineering from Seoul National University (2009 and 2005 respectively). He has served as a post-doctoral researcher at the University of Pennsylvania (2009-2017) before transitioning to KAIST. Research interests span AI-driven program analysis for deep semantic bug detection, program debloating systems for security optimization, and synthesis frameworks using probabilistic models. His work bridges undecidability in static analysis with external information integration. Recent publications analyze logic-based verification for mobile agents, compiler fuzzing , and data dependency guided fuzzing . Trends show a focus on security-critical systems, reinforcement learning for code reduction, and probabilistic models. Scientific awards include the ACM SIGSOFT Distinguished Paper Award (FSE 2025) , Amazon Research Award (2024) , and multiple KAIST teaching honors . He has also received ACM SIGPLAN Distinguished Paper (PLDI 2019) and Best Artifact Awards. He has mentored numerous Ph.D. and Master’s students and contributes to program committees for leading conferences like SOAP (PC Co-Chair) , ICSE , and SAS . His work is supported by grants and collaborations with institutions including Facebook and Seoul National University.