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.

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