ICFP/SPLASH 2025 (series) / Luisa Cicolini
Registered user since Sat 2 Dec 2023
Name:Luisa Cicolini
Country:United Kingdom
Affiliation:University of Cambridge
GitHub: https://github.com/luisacicolini
Research interests:Automata Theory, Formal Methods, Compiler Verification
Contributions
Using general profile