111 reputation
4
bio website
location Padua, Italy
age 23
visits member for 1 year, 4 months
seen Dec 21 at 13:17

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.


This user has no recent positive reputation changes
This user has not asked any questions
Mathematics 1,473 rep 315
MathOverflow 111 rep 4
Theoretical Computer Science 101 rep 1
Philosophy 101 rep 1
Computer Science 101 rep 2

5 Votes Cast

all time   by type  
5 up 3 question
0 down 2 answer