quartztz::bio

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.