Italian student currently living in Munich, Germany, interning at Jetbrains. Open for research internships for fall 2026.

I like programming languages and theorem provers. I worked as a student assistant in functional programming and compiler construction, under professors that were very cool and that inspired me greatly. The best things EPFL gave me are my love for Scala and my crippling caffeine addiction; everything else about me 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 that software can only be as good as the features that arise from using it intuitively, and I want to help that become reality.

I grew up loving and playing all kinds of music (mostly piano and guitar), and grew more into graphic/UIUX design as a teen.

I am currently an intern at the Jetbrains formal methods team, working on the formalization of Kotlin language constructs in Lean for verification and modelling of safety properties.

Before that, I was a Student Assistant for various courses at EPFL, namely:

• Formal Verification, a master’s level course on the basics of program verification, from Hoare logic to SMT solvers to theorem proving, with practical applications in the Stainless framework.
• Computer Language Processing, the undergraduate compiler course taught by Prof. Kunčak.
• Software Construction, the joint functional programming/software engineering/scala course taught by Profs. Pit-Claudel, Kunčak and Odersky.

In parallel to my studies, I used to be Chief Product Officer at Actualia, a startup building an AI-powered mobile app delivering verifiable news summaries from user-defined interests and sources. I did a bit of everything, from design to frontend dev lead to marketing, which was very fun but ultimately not what I wanted to do long-term. The team is amazing, and they’re doing a lot of really cool stuff.

During my studies, I chose to fill my (dwindling and rare) free time to volunteering for various events, concerts, and associations around my uni. They are, after all, one of the main attractions of the EPFL campus.

For two years I was Technical Manager at the student radio, Fréquence Banane, a place of which I have many fond memories and in which I learned a lot from people who knew much more than me. I handled the radio’s server architecture (mostly fixing Proxmox VMs when they went down), as well as planning and setting up the audio equipment for the various concerts we would organize.

I also gave a lot of my time to CLIC (association for students in compsci), and during my final semester I was a committee member for AGEPoly, the general students association, to sit down and talk about mental health and discrimination with the school’s direction.

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.