# Contact

Siddhartha GadgilDepartment of Mathematics

Indian Institute of Science

Bangalore 560012, India

*e-mail: gadgil@math.iisc.ernet.in*

# 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- ProvingGround on GitHub, consisting mainly of scala code.
- Published papers (needs MathSciNet subscription):
- All papers , including preprints (on the arXiV)

# Online Expositions

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

# Expository articles

### For a general scientific audience.

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

### More technical

- 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

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