July 2009: "Diploma di liceo scientifico" (Secondary School leaving examination), liceo Scientifico Statale "M. Flaminio", Vittorio Veneto (TV), Italy. Evaluation: 100/100 cum laude.
October 2012: "Laurea triennale" (First Level Degree) in Computer Science at University of Udine. Evaluation: 110/110 cum laude. Thesis: "Two compressed full-text indexes (Due indici compressi full-text)".
March 2015: "Laurea magistrale (Master Degree) in Computer Science at University of Udine. Evaluation: 110/110 cum laude. Thesis: "Model Checking and Interval Temporal Logics: Checking Interval Properties of Computations".
Model checking, interval temporal logics, algorithmica, complexity theory, planning, ...