Kihong Heo (허기홍)

Post-doctoral Researcher
Computer and Information Science
University of Pennsylvania

Vita

Jul. 2017 - Present Post-doctoral Researcher, University of Pennsylvania (Advisor: Mayur Naik)
Mar. 2009 - Aug. 2017 Ph.D., Computer Science & Engineering, Seoul National University (Advisor: Kwangkeun Yi)
Apr. 2017 - Jun. 2017 Research Scientist (contingent), Facebook
Mar. 2005 - Feb. 2009 B.S., Computer Science & Engineering, Seoul National University

News

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, and talks.

Software

I have contributed to the following open-source software:

Service

Awards

Contact

kheo (at) cis.upenn.edu
Computer and Information Science
University of Pennsylvania
Room 361, Levine Hall
3330 Walnut St, Philadelphia, PA 19104, USA