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
ICFP/SPLASH 2025-profile
View general profile
View general profile