Full Name
Luisa Cicolini
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.
