I hold a Master Degree in computer science from the University of Bologna, with an internship at the École Normale Supérieure de Lyon. Both my thesis discuss pointer machines and can be found online (Italian only)

Macchine di Schönhage e riduzione su grafi

Questa tesi nasce con la volontà di mettere a confronto due modelli di calcolo che presentano forti analogie e interessanti punti di contatto: la classe di macchine a puntatori (con particolare attenzione nei confronti del modello introdotto da Schönhage) e il sistema di riscrittura su term graph. [Download]

Macchine di Schönhage e Complessità Computazionale implicita

Partendo dallo studio del modello computazionale introdotto da Schönhage, la presente tesi si propone di fornire una simulazione delle Evolving Graph Structures di Leivant e Marion che ne conservi le proprietà in termini di complessità computazionale. [Download]