Kihong Heo (허기홍)

Assistant Professor
Programming Systems Laboratory
School of Computing / Graduate School of Information Security
Korea Advanced Institute of Science and Technology (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, Youtube Video (in Korean), or send me an email.

Vita

Present 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

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 videos (in Korean).

Courses

Students

Ph.D Students
Master Students
See more.

Professional Activities

Program Committee Members
Others

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