nLab
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 am no longer a graduate student, having run off to Google, but I do still have many of the same interests. Perhaps someday I will finish my PhD and return to academia…

category: people

Revised on August 14, 2015 18:15:18 by Sridhar Ramesh? (216.239.45.69)