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 (13)
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.
math-librarylean4
siddhartha-gadgil/GroupComp
Jun 2023 - Jun 2024
Lean 4 code and some slides for the NCM workshop on Groups and Computations at KREA, July 2023
Contributions:7 PRs, 166 pushes, 1 branch in 1 year
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.