Bachelor's degree in Mathematics at Università di Padova (Padova, Italy) with a thesis in mathematical logic on the constructive content of classical principles.
Master's degree in Vienna, Austria with a thesis on the proof theory of arithmetic. They studied logic applied to computer science also in Dresden (Germany), Bozen-Bolzano (Italy), Vienna (Austria), Canberra (Australia), Paris (France).
Ph.D. student of the Computer Science & Engineering program at unibo since 2016.
Go to the Curriculum vitae