Computer Science MSc student at EPFL
Italian student and general timewaster. Currently interning at JetBrains’ formalization team, verifying dataflow analyses for the Kotlin compiler. Starting from September 2026, I’ll be doing my Master’s Thesis at SYSTEMF, updating the Linden project to ES202X standards, investigating scalable and predictable formal specifications.
I like programming languages and theorem provers. 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.
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 grew more into graphic/UIUX design as a teen.