1,451 reputation
314
bio website
location Padua, Italy
age 23
visits member for 1 year, 3 months
seen Nov 22 at 13:54

I am a student of the Master's program in Mathematics at the University of Padua, Italy. My main interests are type theory, category theory and computability.