👨💻 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.
🌱 I'm currently learning how to develop smart contracts while improving my skills as a CTF player.
🔨 In my free time, I'm currently working on a simple framework for model checking in Rust
🚀 My latest (public) projects are mainly programming language related:
- MicroC: an LLVM-based compiler for a sublanguage of C;
- EsoCaml: an esoteric front-end for a simple functional language;
- Trustee: an extension for Fhree for supporting security primitives, taint analysis and information flow to prevent data leaks;