Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
3,667
reputation
22
36

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. Then I worked for Google for a while. Then I did nothing for a while. (Those were the days…). Now I do other math stuff again.

30
answers
23
questions
~161k
people reached

Top tags (74)

Score 97
Posts 9
Posts % 17
Score 68
Posts 6
Score 55
Posts 4
Score 35
Posts 12
Score 24
Posts 3
Score 16
Posts 4

Top posts (53) All Questions Answers | Votes Newest

View all questions and answers

Badges (58)

Gold

Silver

22

Rarest

Bronze

36

Rarest