Contact

Siddhartha Gadgil
Department of Mathematics
Indian Institute of Science
Bangalore 560012, India
E-mail: siddhartha.gadgil@gmail.com

Courses

(Some) past courses

Research

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

Miscellaneous

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