Registered user since Tue 11 Apr 2023

Name:Yongho Yoon
Bio:
Country:South Korea
Affiliation:Seoul National University
Research interests:Static Analysis, Abstract Interpretation, Program Synthesis

Contributions