My name is Luisa, I am an automata and formal methods enthusiast - currently on a quest to learn more about logics and maths. I also enjoy painting, sewing clothes and music - I played the piano and sang in various bands for a long time, and still love doing it when I get the chance to!
I’m currently a PhD student at the university of Cambridge, working at the intersection of hardware verification and verified decision procedures for compilers with Lean4. here’s a bit of what i’ve been up to lately:
oct. 25 i’m attending + student-volunteering at OOPSLA’25 in Singapore
oct. 25 i’m attending HASE’25 in Taipei
june 25 i’m attending Big Proof’25
mar. 25 i’m the publicity chair for CGO’26
dec. 24 i’m an artifact evaluator for CGO’25
oct. 24 again in California, this time presenting a technical talk “Exploiting MLIR Abstractions for Hardware Verification” at LLVM-dev! my first time at an LLVM-dev meeting, and I met so many inspiring people :)
mar. 24 i’m the publicity chair for CGO’25
mar. 24 in Copenhagen to be a student volunteer at PLDI’24 - my first time at a more “theoretical” conference: made me realize how much more I need to study and learn to shift towards more theoretical research!
mar. 24 started my job as a research assistant at the University of Cambridge
mar. 24 briefly back in Edinburgh to be a student volunteer at CGO’24
feb. 24 got my Abilitazione Professionale - Ingegnere dell’Informazione
jan. 24 i’m the publicity chair for CGO’24
dec. 23 the whole research lab moved to Cambridge! I’m now a visiting research student at the University of Cambridge.
oct. 23 got my MSc in Computer Science Engineering from Politecnico di Milano
oct. 23 our paper “One Automaton to Rule Them All: Beyond Multiple Regular Expressions Execution” is accepted at CGO’24 :)
oct. 23 TA-ing Theoretical Computer Science
sept. 23 moved to Edinburgh to join prof. Tobias Grosser’s group as a visiting research student
sept. 22 our paper “Surfing the wavefront of genome alignment” is accepted at ISCAS 2022 :)
jul. 22 became chair of WIE in the Politecnico di Milano IEEE Student Branch
mar. 22 student volunteer at DATE’22 conference (online)
jan. 22 tutoring Algoritmi e Principi dell'Informatica project course for computer science engineers
sept. 21 in Rome presenting CareLivers, our finalist project at Alfathon, hosted by Alfasigma
sept. 21 tutoring Informatica A course for mathematical engineers
sept. 20 joined the Politecnico di Milano IEEE Student Branch - WIE as a student member
sept. 20 joined Polifonia as a student member: after a few years i’m enthusiastically back to singing in a choir and performing on stage <3
sept. 20 got my BSc in Energy Engineering from Politecnico di Milano
june 20 passed Neural Networks and Deep Learning - by DeepLearning.AI on Coursera
sept. 20 mentee with Lead the Future
sept. 19 in Munich for the next six months for an Erasmus at TUM - Machinenwesen Dept.
june 19 my first time in San Francisco for NGCX with NECSTLab! I got to present my work at Facebook and at the Lawrence Berkeley National Laboratory.
mar. 19 in Florence to be a student volunteer at DATE’19
mar. 18 joined NECSTLab as a research student
july 17 graduated high school: after spending 5 years learning about ancient greek, latin and philosophy i’m now off to engineering school :)
july 17 passed Cambridge Proficiency English - CEFR C2 (and failed Goethe Zertifikat C1 - CEFR C1)
july 16 passed Goethe Zertifikat B2 - CEFR B2
sept. 16 in Trento to take part in the NASA Challenge, with our project to map of alpine glaciers!