Department of Mathematics

Indian Institute of Science

Bangalore 560012, India

- Introduction to Algebraic Topology, August 2019.

- Logic, Types and Spaces, January 2019.
- Probability Models, August 2019.
- Analysis and Linear Algebra II, January 2018.
- Introduction to Homotopy Type Theory
- Introduction to Algebraic Topology.
- Basic Analysis.
- Logic, Types and Spaces.

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

- 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.

- Homogeneous length functions on groups: A PolyMath adventure.
- Limits of Reason
- Homotopy Type Theory
- 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.