ICFP/SPLASH 2025 (series) / Aurea Bílá
Registered user since Tue 26 Aug 2025
Name:Aurea Bílá
Country:Switzerland
Affiliation:ETH Zurich
Personal website: https://www.thenet.sk/
GitHub: https://github.com/Aurel300
Research interests:Rust, formal methods, compilers, reverse engineering
Contributions
ICFP/SPLASH 2025-profile
View general profile
View general profile