Registered user since Wed 5 Jan 2022
Name:Alperen Keles
Country:United States
Affiliation:University of Maryland at College Park
Personal website: https://alperenkeles.com
X (Twitter): https://x.com/keleesssss
GitHub: https://github.com/alpaylan
Research interests:Random Testing, Formal Verification
Contributions
ICFP 2023-profile
View general profile
View general profile