PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
Sunho Park

Registered user since Tue 12 Sep 2023

Name:Sunho Park
Country:South Korea
Affiliation:KAIST
Research interests:Formal verification

Contributions

Show activities from other conferences

Using general profile