Curriculum

Scarica QUI il mio CV (ENG).

Attenzione!

La pagina in Italiano non è più mantenuta. Fare riferimento alla versione Inglese QUI.

Ispirazioni

Un breve elenco di opere che in qualche modo hanno influenzato in direttamente il mio punto di vista sulle cose.

• The Witness. Un brillante e poetico puzzle game sviluppato da Thekla, studio capitanato da Jonathan Blow.

  

• Lo Zen e l’arte della manutenzione della motocicletta. Un bel libro di Robert Pirsig.

Le mie repo preferite

• Tesina di maturità. Questa è stata la tesina che ho portato nel 2018 alla maturità (ho fatto Scienze Applicate al Liceo Newton). L’argomento che avevo scelto erano gli algoritmi genetici, che avevo scoperto grazie al buon Daniel Shiffman. Già dal titolo si prestava bene come argomento per via della sua “multidisciplinarietà”, ma era stato molto interessante fare il tutto, portando tra gli esempi una soluzione approssimata del problema del commesso viaggiatore. La presentazione finale si può trovare QUI, sono ad oggi molto contento di come era uscita esteticamente.

• Elsewhere: Chapter 0. Un gioco ancora WIP scritto da zero senza game engines. La repo è ancora privata, ma sto sviluppando attivamente e sono super positivo riguardo questo progetto!

• Simulazione del Modello di Ising con l’algoritmo di Propp-Wilson. Progetto svolto per un corso universitario. L’obiettivo è quello di simulare il modello di Ising con una versione del metodo di Monte Carlo che fornisce (a differenza dell’algoritmo classico) una simulazione con la distribuzione esatta. QUI la relazione finale.

• Tesi di Laurea Triennale sul lambda calcolo. Qui si trova il mio lavoro per la tesi triennale (corso di laurea in Matematica, Università di Pisa). La trattazione principale è su alcune varianti tipate del lambda calcolo, il sistema T di Gödel e il sistema F (Girard e Reynolds). La parte succosa è quella in cui si mostra che all’interno di questi calcoli è possibile rappresentare esattamente le funzioni che si dimostrano essere totali rispettivamente nella logica intuizionista del primo e del secondo ordine. In particolare è equivalente (a meno di un semplice cambio di sintassi) avere una dimostrazione di totalità e un programma per il calcolo della funzione. Link veloci per la tesi e la presentazione.

• Tesi di Laurea Triennale in Explainable AI. Questo è il codice per gli esperimenti relativi alla mia laurea magistrale. In questa tesi ho costruito un’architettura transformer per fare predizioni su dati medici (dal dataset Mimic-iv) e poi aumentarli con una spiegazione. Il punto focale è stato quello di osservare che le matrici di attenzione che si trovano nei transformer correlano male con le feature importances date dalle spiegazioni, e che quindi in un certo senso Attention is not an Explanation.

• Classificazione di testi con algoritmi di compressione. Colloquio del quarto anno alla SNS. Il tema principale è quello di classficare un dataset di messaggi tra spam e non spam utilizzando tecniche di teoria dell’informazione. Si analizza in particolare l’algoritmo di Lempel-Ziv LZ78 (che è anche presente per esempio nella compressione lossless di immagini png). QUI la presentazione finale.

• Dongim. Una piccolo e comodo timer pomodoro. Per imparare un linguaggio di programmazione i timer sono il mio giocattolo preferito. Questa è l’implementazione in Rust! Ad oggi, è il mio timer preferito.

• Appunti di G2. Appunti del corso del secondo anno di Geometria 2 tenuto dal professor Frigerio, scritti con Luigi Traino e Marco Vergamini. Link al file PDF.

• Soluzioni Aggregate Esatte per Code M/G/1. Un seminario per il corso di Metodi Numerici per Catene di Markov. Viene presentata un’alternativa alla formula di Ramaswami per calcolare alcune componenti del vettore stazionario di una coda di tipo M/G/1 e i momenti della lunghezza della stessa. QUI la presentazione finale.

• Tante altre!