👨💻 I'm a computer scientist with a strong curiosity about the world, the universe and everything that happens inside it. ✨
🎓 I'm a MSc student @ UniPi, where I'm studying security and verification, by means of both theoretical CS and cybersecurity courses.
🔨 In my free time, I'm currently working on a simple framework for model checking written in Rust.
🚀 My latest (public) projects:
- MicroC: an LLVM-based compiler for a sublanguage of C;
- Mastermind on Blockchain: an implementation of the Mastermind board game on the Ethereum Blockchain;
- Trustee: an extension for Fhree for supporting security primitives, taint analysis and information flow to prevent data leaks;