Italian student and general timewaster. Currently doing my Master’s Thesis at SYSTEMF, updating the Linden project to ES202X standards, investigating scalable and usable formal specifications.

I like working at the intersection of theory and systems, to make verification easier, more accessible and more relevant. I think software can only be as good as the features that arise from it, and I want to make it easy to write correct software.

I grew up loving and playing all kinds of music (mostly piano and guitar), and started doing more graphic design work as a teen, which naturally bled into UIUX work.

I’m currently a Student Assistant for two master’s courses at EPFL, Formal Verification and Programming Language Foundations. I’ve also done assistant work for Computer Language Processing and Software Construction.

In the Spring of 2026 I interned at JetBrains, working on a proposal for Uniqueness Types in Kotlin. We designed Chartreux, a Lean library for proving correctness of dataflow analyses with respect to program semantics. The team was a lot of fun, and the work we did was published at VSTTE 2026.

In parallel to my studies, I used to be Chief Product Officer at Actualia, a startup working on verifiable AI generated news summaries. I did a lot of fun stuff, from design to frontend dev lead to marketing, but ultimately, the lack of PL theory got to me.

During my studies, I volunteered for various events, concerts, and associations around campus, one of EPFL’s most unique aspects. Some positions I held, in no particular order:

• Technical Manager, Fréquence Banane (2023-2024): a place of which I have nothing but fond memories of, in which I learned a lot from really cool people. I handled the radio’s server architecture, planned and setup audio equipment for our concerts, and organized our big move to new studios. Picked up some DJing along the way.
• Head of Logistics, CLIC (2024-2025): we organized a few large events for compsci students, and I was in charge of sourcing equipment, planning the events, and the occasional concert here and there.
• Head of Prevention, AGEPoly (2025): as part of the committee for the general student association, we represented the needs of 14000 students in front of the school administration. In particular, I engaged in discussion for improving student mental and physical health, as well as tackling hate and discrimination around campus.

I’m working towards a MSc in Computer Science from EPFL, in Switzerland. Relevant coursework in compiler construction, verification and theorem proving, with a declared specialization in “Foundations of Software”.

Before that, I got my BSc in Computer Science in July 2024, after 3 years of strenuous work. Relevant coursework includes foundation courses in software engineering, computer language processing and mathematical logic.

The best things EPFL gave me are my love for Scala and my caffeine addiction; everything else followed as a natural consequence of the two.