PhD student in informatics @ Software Institute
USI Università della Svizzera italiana
Research interests: My goal is to make formal methods as accessible as possible to non-specialist developers. I am thus mainly interested in lightweight formal methods, in particular type systems and the design of programming languages that integrate them, as well as automated static analysis. I am also interested in compilers, especially their program analysis phases.
Academic projects: I am currently working on refinement types inference in the Licorne experimental programming language. I previously worked on gradual object capabilities for my master's thesis. During my master's, I also worked on program tracing in Java.