Registered user since Tue 12 Sep 2023
Name:Sunho Park
Country:South Korea
Affiliation:Seoul National University
Personal website: https://park-sunho.github.io
GitHub: https://github.com/park-sunho
Research interests:Formal verification
Contributions
Using general profile