About me
I’m a software engineer based in Milan, Italy.
I’m work in the Digital Transition Strategy and Integration Framework team at Politecnico di Milano, ICT Services, where I also got my master’s degree.
Previously, I’ve work as a Researcher with Matteo Pradella, Michele Chiari and Michele De Pascalis. on the topic of Verification of Infrastructure-as-Code.
I’ve held the exercise sessions for the 2023/24 Principles of Programming Languages class at Polimi, showcasing Scheme/Racket, Haskell and Erlang.
I’ve been the maintainer of the verification tool of project PIACERE, an EU-sponsored DevSecOps framework through the Horizon 2020 program.
Skills
Interests & hobbies
- Design
- Running & Yoga
- Videogames (especially RPGs and co-op games)
- Dungeons & Dragons
- Calligraphy
- Fixing stuff & solving problems