Sridhar Ramesh's user avatar
Sridhar Ramesh's user avatar
Sridhar Ramesh's user avatar
Sridhar Ramesh
  • Member for 13 years, 3 months
  • Last seen more than a month ago
Stats
5,387
reputation
0
reached
0
answers
0
questions
Loading…
About

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.

This user doesn’t have any gold badges yet.
13
silver badges
2
bronze badges
Posts

This user hasn’t posted yet.