Registered user since Fri 9 Feb 2024
Name:Sára Juhošová
Country:Netherlands
Affiliation:Delft University of Technology
Personal website: https://sarajuhosova.github.io/
GitHub: https://github.com/sarajuhosova
Research interests:Programming Languages, Interactive Theorem Provers, Usability
Contributions
ICFP 2024-profile
View general profile
View general profile