126 reputation
6
bio website
location Padua, Italy
age 24
visits member for 1 year, 9 months
seen Apr 26 at 19:02

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,608 rep 315
MathOverflow 126 rep 6
Theoretical Computer Science 101 rep 1
Philosophy 101 rep 1
Computer Science 101 rep 2

6 Votes Cast

all time   by type  
6 up 4 question
0 down 2 answer