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.
 Berkeley, CA
 math.berkeley.edu/~sramesh
 Member for 6 years
 1 profile view
 Last seen Jul 27 '15 at 22:08
Communities (2)
Top Network Posts
 42Can the Riemann hypothesis be undecidable?
 27What does the term "yoga" mean in mathematics?
 22Gödel's incompleteness theorem can't be proven?
 22What is a colimit, really?
 19Montague's Reflection Principle and Compactness Theorem
 17"Philosophical" meaning of the Yoneda Lemma
 17Geometric Interpretation of Trace
 View more network posts →
Keeping a low profile.
This user hasn't posted... yet.
Badges (7)
Gold
—

Silver
6
Rarest

Bronze
1
Rarest
