2,223 reputation
1324
bio website math.berkeley.edu/~sramesh
location Berkeley, CA
age 28
visits member for 4 years, 2 months
seen Apr 13 at 20:50
I am 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.

Feb
8
awarded  Yearling
Jan
29
awarded  Notable Question
Jan
17
awarded  Nice Question
Oct
11
awarded  Caucus
Sep
17
awarded  Nice Answer
Jun
25
awarded  Excavator
Jun
25
awarded  Pundit
Mar
29
awarded  Nice Answer
Mar
1
awarded  Popular Question
Feb
10
awarded  Nice Answer
Feb
8
awarded  Yearling
Aug
15
awarded  Nice Answer
May
23
awarded  Enlightened
May
23
awarded  Nice Answer
Feb
9
awarded  Yearling
Nov
29
awarded  Good Answer
Nov
1
awarded  Mortarboard
Nov
1
awarded  Nice Answer
Jul
29
awarded  Enlightened
Jul
29
awarded  Nice Answer