1,431 reputation
bio website
location Padua, Italy
age 23
visits member for 1 year
seen Aug 22 at 22:34

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.

333 Votes Cast

all time   by type   month  
333 up 166 question 2
0 down 167 answer