Italian student currently living in Lausanne, Switzerland. Open for research internships for fall 2026.

I like programming languages and theorem provers. I developed a particular affinity for functional programming after years of gaslighting myself into liking Rust in high school.

I worked as a student assistant in functional programming and compiler construction, under professors that were very cool and that inspire 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 grew up loving and playing all kinds of music (mostly piano and guitar), and grew more into graphic/UIUX design as a teen. Looking for more personal (or not!) projects to hone my skills in.

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 other courses at EPFL, such as:

• 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.

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.

For a list of all currently relevant projects, have a look at the projects page: that’s where most of the new work in verification and theorems is. What follows is less important.

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.

During high school, I wrote a bunch of personal utilities in a variety of languages and technologies for very specific use cases I had. The knowledge gained was massive, but I wouldn’t call that code particularly useful. It’s kept on my github for archival purposes.

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.