Kihong Heo (허기홍)

Post-doctoral Researcher
Computer and Information Science
University of Pennsylvania
[CV]

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:

Publications

Talks

Projects

Software

I have contributed to the following open-source software:

Teaching

Contact

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