Chung-Kil Hur - POPL 2017 (original) (raw)

Name:Chung-Kil Hur

Country:Korea, South

Affiliation:Seoul National University

Personal website: http://sf.snu.ac.kr/gil.hur

Research interests:Programming Languages, Software Verification