Kihong Heo (허기홍)

Assistant Professor
Programming Systems Laboratory
Graduate School of Information Security / School of Computing
Korea Advanced Institute of Science and Technology (KAIST)
     

Notice

I am looking for highly motivated 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, Youtube Video (in Korean), or send me an email. Prospective students have to apply to the Graduate School of Information Security (정보보호대학원) at KAIST.

Vita

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

Research Interest

My research aims to develop program reasoning systems for safe and reliable software. In particular, I am working on the following topics: For more information about my research, see projects, publications, talks, and the following Youtube video (in Korean).

Courses

Students

Graduate Students
Undergrads

Software

I have contributed to the following open-source software:

Awards

Contact

kihong.heo (at) kaist.ac.kr
+82-42-350-3581
Room 2321, N5
School of Computing
Korea Advanced Institute of Science and Technology
291 Daehak-ro, Yuseong-gu, Daejeon 34141, Korea