Curriculum

My CV can be downloaded HERE.

My Blog

Check my blog HERE!

My Game

You can check my sudoku variant game HERE. It’s still a work in progress, but it’s already functional and fun to play.

The game uses standard 9×9 Sudoku as a base and adds optional mechanics such as colored dots, directional comparisons, special lines, knight-move links, and distance clues between specific numbers in rows or columns. These elements combine to form dense logical grids that require careful tracking of multiple relationships.

Inspirations

A brief list of works that directly conditioned my vision of the world.

• The Witness. A witty and poetic puzzle game developed by Jonathan Blow’s Thekla studio.

  

• Zen and the Art of Motorcycle Maintenance. An insightful book written by Robert Pirsig.

Favorite Repos I Own

• High School Thesis. This is the small thesis I wrote for the high school final in 2018 at Liceo Newton. It is about Genetic Algorithms, with some basic ideas and some working examples (the problem of finding the maximum of a function and the travelling salesman problem). I still love the graphical side of the presentation.

• Elsewhere: Chapter 0. A WIP game written from scratch. The repo is still private, but I am super excited about this project!

• Ising Model Simulation via Propp-Wilson Algorithm. This was a project made for an exam at university. The objective is to simulate the Ising model (i.e. extracting a configuration of spins on a graph with the correct probability distribution) via a modification of the Monte Carlo method. The Propp-Wilson algorithm is able to give the exact distribution, in contrast with more classical methods, which can only give a sequence of distributions converging to the target one.

• Bachelor Degree Thesis on Lambda Calculus. This is my work for the final thesis at Università of Pisa, advisors Alessandro Berarducci and Marcello Mamino. It studies some typed variants of the lambda calculus, Gödel’s system and system F (Girard and Reynolds). The main result is a duality between the lambda terms (which can be seen as a subset computer programs) and proofs in the intuitionistic logic.

• Master Degree Thesis on Explainable AI. This is the code written for the experiments of my master thesis. In this project I built a transformer based model to predict the evolution of the clinical condition of patients from the Beath Israeli medical center. Then I built an explaination pipeline for a post-hoc local explaination. The focal point was to compare the attention matrices with the feature importances given by the explaination and show that Attention is Not an Explaination.

• Text classification via Compression Algorithms. Fourth year presentation at Scuola Normale Superiore, advisor Stefano Marmi. This is the presentation of a text classifier that measures the Kullback-Leibler distance between a reference corpus and a target text. The measurement is done by compressing the target on the corpuses via the Lempel-Ziv LZ78 algorithm.

• Dongim. Tiny and cute pomodoro timer. Timers are my favorite toy to learn a new programming language, and this is my Rust implementation! It’s my favorite timer at the moment.

• G2 Notes. Notes from Roberto Frigerio’s course Geometria 2. I coauthored these notes together with Marco Vergamini and Luigi Traino.

• Exact Aggregate Solutions for M/G/1 Queues. Seminar for the course Numerical Methods for Markov Chain. I presented a method to compute some entries of the stationary vector of the Markov Process associated to a M/G/1 type queue. These entries can be then used to compute the moments of the queue length.