Most of my research has been in low-dimensional topology and related areas such as geometric
group theory and Riemannian geometry. More recently, the main focus of my work has been automated theorem proving.
A snapshot of this activity is in the repository
Online Expositions and Demos
For a general scientific audience.
- 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.