PhD student in informatics @ Software Institute
USI Università della Svizzera italiana
Research interests: I would like to make formal methods as accessible as possible to non-specialist developers. I am thus mainly interested in lightweight formal methods, especially 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 the designer of Rattlesnake, an experimental programming language which I equipped with a type system for gradual object capabilities as part of my master's thesis. During my master's, I also did some work on program tracing in Java, designing bytecode instrumentations and a compiler plugin to improve debugging and code exploration (code, report).
Other projects: Apart from my interests listed above, I also enjoy algorithmics and automated reasoning. My projects record includes projects related to symbolic execution, balancing of chemical equations, sudoku solvers, and visualizations of graph algorithms, DFA/NFAs, and pathfinding.
Most of my projects can be found on my GitHub.