Siddhartha Gadgil
Department of Mathematics
Indian Institute of Science
Bangalore 560012, India


(Some) past courses


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

Some Presentations

Expository articles

For a general scientific audience.

More technical


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