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'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.

Berkeley, CA

Member for 11 years, 4 months

6,864 profile views

Last seen Jun 10 at 6:11
Communities (10)
Top network posts
Badges (63)
Gold
Silver
Rarest

Jun 25 '13

Jun 22 '11
Bronze
Rarest

Nov 1 '11

Dec 6 '18

Jun 25 '13