Regular biography
Kihong Heo is a Faculty member in the School of Computing at KAIST. His research focuses on programming systems, including program analysis, synthesis, and transformation, with an emphasis on ensuring software correctness and security. He leads the Programming Systems Laboratory and teaches courses such as Introduction to Information Security, Program Reasoning, and Program Analysis. Heo has received several awards, including the ACM SIGSOFT Distinguished Paper Award and the Soo-Young Lee Teaching Innovation Award. His work has been published in top conferences such as FSE, PLDI, and MobiCom.
Scholar-generated biography
Kihong Heo is a researcher specializing in Programming Language, Static Analysis, and Abstract Interpretation. His work focuses on improving the efficiency and effectiveness of program analysis techniques through the integration of machine learning and probabilistic models. He has developed methods for program debloating, search-based synthesis, and selective context-sensitivity, emphasizing the use of Bayesian inference and reinforcement learning. His research also explores the application of static analysis in detecting vulnerabilities and enhancing program reasoning. By combining formal methods with data-driven approaches, Heo contributes to the advancement of automated software analysis tools.