๐จโ๐ป 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 attending both theoretical CS and cybersecurity-oriented courses, in order to become an expert of systems security and verification;
๐ฑ Iโm currently learning techniques for reasoning on models of computation, the development of smart contracts and the evaluation and management of ICT risks;
๐ My latest (public) projects:
- MicroC: an LLVM-based compiler for a sublanguage of C;
- EsoCaml: an esoteric front-end for Fhree;
- JobScheduler: a simple framework that implements Inversion of Control providing the functionalities of a job scheduler;