1,461 reputation
314
bio website
location Padua, Italy
age 23
visits member for 1 year, 4 months
seen Dec 13 at 16:45

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.


Mathematics 1,461 rep 314
MathOverflow 111 rep 4
Theoretical Computer Science 101 rep 1
Philosophy 101 rep 1
Computer Science 101 rep 2

337 Votes Cast

all time   by type  
337 up 167 question
0 down 170 answer