What I’ve been up to:

• dec. 25 Attending ItaLean'25 in Bologna
• oct. 25 Attending & student-volunteering at OOPSLA'25 in Singapore
• oct. 25 Attending HASE'25 in Taipei
• oct. 25 I am a PhD student at the University of Cambridge 🥳
• sept. 25 After being a mentee, I am now a mentor with Lead the Future!
• jun. 25 Attending Big Proof'25
• mar. 25 I am the publicity chair for CGO'25
• dec. 24 I am an artifact evaluator for CGO'25
• oct. 24 My first LLVM-dev meeting in Santa Clara (CA, USA), presenting our work "Exploiting MLIR Abstractions for Hardware Verification"
• mar. 24 I am the publicity chair for CGO'25
• mar. 24 Attending & student-volunteering at PLDI'24 in Copenhagen - my first time at a more "theoretical" conference made me realize how much theory I need to study!
• mar. 24 Started working as a research assistant at the University of Cambridge
• mar. 24 Attending & student-volunteering at CGO'24
• feb. 24 Got my Abilitazione Professionale as Ingegnere dell'Informazione
• jan. 24 I am the publicity chair for CGO'24
• dec. 23 Our lab moved to Cambridge and 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 I am the TA for the Theoretical Computer Science course at the University of Edinburgh
• sep. 23 I am moving to Edinburgh and joining prof. Tobias Grosser's group as a post-graduate visiting research student
• sep. 22 Our paper "Surfing the wavefront of genome alignment" is accepted at ISCAS'22
• jul. 22 I am the chair of the WIE chapter for the Politecnico di Milano IEEE Student Branch
• mar. 22 I am a student volunteer at DATE'22 conference (online)
• jan. 22 I am tutoring the Algoritmi e Principi dell'Informatica project course for computer science engineers at Politecnico di Milano
• sep. 21 I am in Rome presenting CareLivers, our finalist project at Alfathon, hosted by Alfasigma
• sep. 21 I am tutoring the Informatica A course for mathematical engineers at Politecnico di Milano
• sep. 20 I joined the Politecnico di Milano IEEE Student Branch - WIE chapter as a student member
• sep. 20 I joined Polifonia as a student member and am enthusiastically back to singing in a choir and performing on stage 🥰
• sep. 20 I got my BSc in Energy Engineering from Politecnico di Milano
• sep. 20 I am a mentee with Lead the Future
• sep. 19 I am moving to Munich for the next six months for an Erasmus at TUM - Machinenwesen Dept.
• jun. 19 I am in San Francisco for the first time, attending the tenth Necst Group Conference (NGCX) with NECSTLab and presenting my work at Facebook and at the Lawrence Berkeley National Laboratory.
• mar. 19 I am attending and student-volunteering at DATE'19
• mar. 18 I am joining NECSTLab as a research student
• july 17 After graduating high school (and spending 5 years learning about ancient greek, latin and philosophy) I am off to engineering school 🥳
• july 17 I passed the Cambridge Proficiency English - CEFR C2 exam - and failed the Goethe Zertifikat C1 - CEFR C1 exam
• july 16 I passed the Goethe Zertifikat B2 - CEFR B2 exam
• sep. 16 I am in Trento to take part in the NASA Challenge, with our project to map of alpine glaciers!