Department of Mathematics

Indian Institute of Science

Bangalore 560012, India

- ProvingGround on GitHub, consisting mainly of scala code.
- Published papers (needs MathSciNet subscription):
- All papers , including preprints (on the arXiV)

- Linear ODEs plotted.
- Tower of Hanoi live solver.
- I have created an online mini-course on Hyperbolic geometry and Geometric group theory using google's course builder.
- Screencast on Stalling's topological proof of Grushko's theorem and its part two and part three .
- Screencast on Topological rigidity and the Goldman bracket.
- Screencast on Virtual Classification of three-dimensional manifolds.

- Automating Mathematics? student colloquium at Indian Statistical Institute, Bangalore.
- Automating Mathematics: PolyMath, Type Theory and Learning (video) , lecture at the Summer School for Undergraduates, CSA, IISc, 2018.
- Homogeneous Length functions on Groups : a PolyMath adventure, lectures at Ashok University and NEHU, Shillong.
- Automating Mathematics? lecture at
*Samose Seminar*, NCBS, Bangalore. - Limits of Reason , lecture in a course.
- Homotopy Type Theory, lecture at Chennai Mathematics Institute.
- Can computers conquer mathematics? Another lecture mostly on Homotopy type theory.

- Playing dice with primes., ramblings inspired by Yitang Zhang's work.
- Automating Mathematics?, a piece for a supplement in the Hindu newspaper.
- Ricci flow and the Poincare conjecture : joint with Harish Seshadri.
- Dynamics on the circle : article in Resonance.
- Symmetries of spheres : PDF slides for a lecture to the Indian Academy of Sciences (not designed to be self-contained).
- Chern and total curvature , article in Resonance.

- A topological characterisation of hyperbolic spaces (following Bowditch).
- Knotted Tori.
- Lectures notes on 3-manifold topology: Connected sums and prime decompositions, Heegaard splittings and Dehn surgery .
- Lecture notes on delta-hyperbolic spaces

- AppyBirday: A program to recognise indian birds (written in Dart with a scala-play backend).
- A quiz and another quiz conducted by me and my wife Ulka.