Full Name
Luisa Cicolini
Company/Affiliation
University of Cambridge
Speaker Bio
Luisa Cicolini is a research assistant at the University of Cambridge, working on formal methods for compilers and hardware verification in particular, within the CIRCT ecosystem.
Speaking At
