Member for 13 years, 1 month
Last seen more than a month ago
I was a graduate student in the Logic program at Berkeley, broadly interested in categorical logic and foundations of mathematics, as well as in applications of category theory to the semantics of programming languages. I'm no longer in academia, I'm tossed out into industry where the vast majority of academic hopefuls end up, but I still love math.
BadgesView all badges
This user doesn’t have any gold badges yet.
SupporterMay 1, 2018
AutobiographerAug 12, 2013
This user hasn’t posted yet.