ICFP/SPLASH 2025 (series) / Hazel Torek
Registered user since Wed 9 Jul 2025
Name:Hazel Torek
Country:United States
Affiliation:Clemson University
Personal website: https://hazeltorek.github.io/
GitHub: https://github.com/hazeltorek
Research interests:programming languages, formal verification, software engineering
Contributions
Using general profile