Kihong Heo (허기홍)

Associate Professor
Programming Systems Laboratory
School of Computing / Graduate School of Information Security
KAIST

Notice

I am looking for highly motivated graduate/undergraduate students who are interested in program analysis, program synthesis/transformation, and machine learning techniques for next-generation programming systems. For more detailed information, see projects, publications, talks, recruitment, blog, Youtube Video (in Korean), or send me an email.

Vita

Present	Associate Professor, KAIST
2020 - 2024	Assistant Professor, KAIST
2017 - 2019	Post-doctoral Researcher, University of Pennsylvania
2009 - 2017	Ph.D., Computer Science & Engineering, Seoul National University
2005 - 2009	B.S., Computer Science & Engineering, Seoul National University

News

June 2025	📄	Our paper Safeguarding Mobile GUI Agent via Logic-based Action Verification will appear at MobiCom 2025.
June 2025	🏆	UnitCon won the ACM SIGSOFT Distinguished Paper Award at FSE 2025. Checkout our paper and research story.
June 2025	📄	Our paper Optimization-Directed Compiler Fuzzing for Continuous Translation Validation was published at PLDI 2025. Checkout our project page and research story.

Research Interest

My research aims to develop program reasoning systems for safe and reliable software. In particular, I am working on the following topics:

AI-based program analysis systems for detecting deep semantic software bugs
General-purpose program simplification systems for secure and efficient software
Scalable program synthesis systems for automatic software generation and repair