101 reputation
bio website
location Padua, Italy
age 22
visits member for 8 months
seen Aug 18 '13 at 16:30

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 not answered any questions
This user has not asked any questions
This user has not participated in any tags
This user has not earned any badges

0 Votes Cast

This user has not cast any votes