Registered user since Fri 9 Feb 2024
Name:Sára Juhošová
Country:Netherlands
Affiliation:Delft University of Technology
Personal website: https://sarajuhosova.com/
GitHub: https://github.com/sarajuhosova
Research interests:Programming Languages, Interactive Theorem Provers, Usability
Contributions
2025
International Conference on Program Comprehension
Using general profile