Full Name
Luisa Cicolini
Pronoun/s
She/Her/Hers
Job Title
Research Assistant
Company/Affiliation
University of Cambridge
Speaker Bio
Luisa Cicolini is a first-year PhD student at the University of Cambridge, working on formal methods for compilers and hardware verification in particular with Lean, also within the CIRCT ecosystem.
Speaking At
Linkedin
GitHub URL
URL
