Italian student currently living in Lausanne, Switzerland. Open for industry or research internships for spring 2026, and the summer following it.

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

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 Figma skills in.

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 thing EPFL gave me is my love for Scala and my crippling caffeine addiction; everything else about me followed as a natural consequence of the two.

I am Chief Product Officer at Actualia, a startup building an AI-powered mobile app delivering fast, customizable and verifiable news summaries based on user-defined interests and sources. At this scale, CPO means leading frontend development, design, and marketing strategies, which for a B2C, means a lot of brand identity honing. The team has been amazing so far, and Flutter is, surprisingly, a very fun language to write in, despite the abysmal ecosystem.

I’m a Teaching Assistant for the Spring 2025 edition of Computer Language Processing, the undergraduate compiler course taught by Prof. Kunčak, and before that, I was a Student Assistant for Software Construction, the joint functional programming/software engineering/scala course taught by Profs. Pit-Claudel, Kunčak and Odersky.

For a list of all currently relevant projects, have a look at the 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.

To refamiliarize myself with web technologies, I built time.ly, a timetable generator. It was a lot of fun (and somewhat fast) to write, and the layout algorithm for classes was pretty fun to figure out. It’s not yet s perfect, but classes got in the way. I’ll get back to it eventually.

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.