953 reputation
1915
bio website
location
age
visits member for 3 years, 2 months
seen 8 hours ago

I'm a graduate student deeply interested in foundations (logic, set theory, model theory, metamathematics) and category theory.