Engineering of computing systems at Politecnico di Milano, with graduate coursework in formal languages, computability and programming-language theory at UniMi. Research interests in applied cryptography, verifiable protocols, and the theoretical foundations of computing.
Open-source implementation of Scafuro & Zhang's one-time traceable ring signatures (ESORICS 2021) over Ristretto255 + RFC 9380, wrapped in two interchangeable storage architectures — a federated bulletin board and a Bitcoin-shaped PoW chain — with a 16-page comparison paper.
One workbench unifying dashboard, firmware, wiring, PCB, 3D case and phone control — so an AI agent can synthesise a connected device end-to-end. The technical bet: a fine-tune of Qwen2.5-Coder-32B on agentic hardware-design tasks. iOS app live on the App Store since Dec 2025.



PHP/MySQL platform with Niccolò Pagano replacing paper snack-vouchers at Istituto Leone XIII with QR-authenticated redemption. Three surfaces, governance charter, deployed whole-school.
Bash / exiftool / jq pipeline healing EXIF and filesystem timestamps across a decade of mixed-source photos. Endorsed by Nextcloud on LinkedIn.
ESP8266 polling ATM Milano's GiroMilano endpoint, parsing JSON on-device, rendering next departures on a 16×2 I²C LCD with diff-only writes.
My first shipped PyPI package — a library plus Discord bot for fast Latin lookup with morphological information.