Computer Science MSc student at EPFL
Italian student and general timewaster. Currently doing my Master’s Thesis at SYSTEMF, updating the Linden project to ES202X standards, investigating scalable and usable formal specifications.
I like working at the intersection of theory and systems, to make verification easier, more accessible and more relevant. I think software can only be as good as the features that arise from it, and I want to make it easy to write correct software.
I grew up loving and playing all kinds of music (mostly piano and guitar), and started doing more graphic design work as a teen, which naturally bled into UIUX work.