Kihong Heo (허기홍)

Post-doctoral Researcher
Computer and Information Science
University of Pennsylvania

Vita

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:

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