2,293 reputation
1327
bio website math.berkeley.edu/~sramesh
location Berkeley, CA
age 29
visits member for 4 years, 9 months
seen 16 hours 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 work for Google now.


2,293 Reputation

5 Nov 20
10 Nov 18
5 Nov 16
5 Nov 13
10 Nov 6
10 Sep 30
10 Aug 26
5 Jun 23
29 Jun 22
5 Jun 9
-45 May 29
5 May 12
5 May 8
10 Apr 22
20 Mar 21
10 Feb 5
5 Jan 17
10 Jan 14
10 Jan 11
5 Dec 30 '13
10 Dec 11 '13
10 Nov 26 '13
10 Aug 7 '13
10 Jul 3 '13
100 Jun 25 '13
10 Jun 18 '13
10 Jun 13 '13
10 Jun 12 '13
10 May 25 '13
10 May 9 '13