Sridhar Ramesh
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.
24
answers
18
questions
~97k
people reached
 Berkeley, CA
 math.berkeley.edu/~sramesh
 Member for 6 years, 5 months
 4,215 profile views
 Last seen 5 hours ago
Top Posts (42) All Questions Answers  Votes Newest
Badges (45)
Gold
—

Silver
16
Rarest

Bronze
29
Rarest
