353 reputation
18
bio website
location
age
visits member for 3 years
seen yesterday

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 work for Google now.


353 Reputation

10 Jan 13
10 Aug 29 '14
5 May 15 '14
100 Jun 25 '13
10 Oct 23 '12
2 Aug 31 '12
10 Aug 30 '12
10 Jun 14 '12
10 May 7 '12
10 Mar 19 '12
10 Jan 18 '12
10 Jan 14 '12
75 Jan 13 '12
80 Jan 12 '12