Chung-Kil Hur - POPL 2022

Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States

Registered user since Thu 16 Jun 2016

Name:Chung-Kil Hur

Country:South Korea

Affiliation:Seoul National University

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

Research interests:Programming Languages, Software Verification

Contributions

2022

CoqPL

Committee Member in Program Committee within the CoqPL-track

Show activities from other conferences

POPL 2022-profile
View general profile