Talks at the JMM
-
Earlier this year, I gave a series of lectures at the Joint Mathematics
Meetings at San Francisco. I am uploading here the slides for these talks:
I also h...
Announcing an automatic theorem proving project
-
I am very happy to say that I have recently received a generous grant from
the Astera Institute to set up a small group to work on automatic theorem
provin...
Polymath projects 2021
-
After the success of Polymath1 and the launching of Polymath3 and
Polymath4, Tim Gowers wrote a blog post “Possible future Polymath projects”
for plannin...
Trek to Goecha La
-
I have always wanted to write an article on my trek experiences but
never got around to writing one. A 9-day(technically 11-day) trek in the
beautifu...