Italian student currently living in Lausanne, Switzerland. Open for industry or research internships for summer 2025, and the 2025/26 academic year.

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 into more graphical design and UIUX 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/git/scala course taught by Profs. Pit-Claudel, Kunčak and Odersky.

Most of my impressive projects come from school: with a friend, we formally verified parts of the Move specification in Stainless, and we’re currently having fun with Coq and Lean.

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.

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 includes advanced compiler construction, verification and theorem proving, and mathematical logic.

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.