Siddhartha Gadgil
Professor at Indian Institute of Science
Bengaluru, Karnataka, India
Summary
🤩
Rockstar🎓
Top SchoolSiddhartha Gadgil is a Professor of Mathematics at the Indian Institute of Science, Bengaluru, with 13 years of faculty experience and a Ph.D. from Caltech. Trained in topology, geometric group theory, and Riemannian geometry, he transitioned in recent years to pioneering work in automated theorem proving. He is an active contributor to the Lean theorem prover ecosystem, having implemented several tactics and ported core mathlib4 modules that strengthen proof automation and library breadth. His work sits at the intersection of pure mathematics, formalization, and tooling—focusing on Lean, meta-programming, and AI-driven interactions. Combining deep theoretical insight with practical engineering of proof assistants, he helps shape how computers generate and verify mathematics.
13 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Mathematics, Doctor of Philosophy (Ph.D.), Mathematics at California Institute of Technology
Github Skills (7)
theorem-proving10
develop10
tactics10
algebra9
struct9
structures9
functional-programming8
Programming languages (11)
Github contributions (5)
leanprover-community/mathlib4
May 2022 - Dec 2022
The math library of Lean 4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:83 reviews, 14 commits, 25 PRs in 7 months
Contributions summary:Siddhartha implemented tactics for the Lean 4 theorem prover, specifically the `left`, `right`, `symm`, and `trans` tactics, which likely improve proof automation. They also introduced a `recover` tactic, adding a mechanism for handling incorrectly closed goals. Furthermore, they ported the `Algebra.Quotient`, `LazyList`, `Data.Vector`, `Data.Nat.Factorial.Basic`, and `Data.Stream.Init` modules, expanding the library's capabilities.
maththeorem-provingcomputer-algebra-systemmathematicsin-progress
siddhartha-gadgil/automating-mathematics
Oct 2019 - Feb 2025
Contributions:8 PRs, 117 pushes, 1 branch in 5 years 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.