Not registered as user yet

Name:Jinwoo Kim
Country:United States
Affiliation:University of Wisconsin-Madison; Seoul National University

Contributions

POPL 2023 Unrealizability Logic
Show activities from other conferences

POPL 2023-profile
View general profile