Bhavik Mehta
Chapman Fellow In Mathematics
Stony Stratford, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolBhavik Mehta is a mathematician and software engineer with eight years of experience bridging formal methods, theorem proving, and applied ML research. He completed a PhD at Trinity College, Cambridge and served as a Research Scientist at Google DeepMind before joining Imperial College London as a Chapman Fellow in Mathematics. An active contributor to the prominent Lean mathlib3 library, he formalized lemmas for power functions, sets and finite sets and helped develop core category-theory infrastructure, highlighting deep proof-engineering expertise. His industry internships at Tweag and Quantcast give him practical systems experience alongside rigorous mathematical foundations. Based in the UK, he specializes in turning abstract mathematics into auditable, machine-checkable artifacts that integrate with real-world research workflows.
8 years of coding experience
1 year of employment as a software developer
Bachelor of Arts - BA, Mathematics, Bachelor of Arts - BA, Mathematics at University of Cambridge
Github Skills (3)
category-theory9
abstract-algebra9
set-theory8
Programming languages (10)
Github contributions (5)
leanprover-community/mathlib3
Nov 2019 - Nov 2022
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer & Formal Methods Specialist
Back-end Developer & Formal Methods SpecialistContributions:1468 reviews, 957 commits, 354 PRs in 3 years
Contributions summary:Bhavik contributed significantly to the development of the mathlib3 library, focusing on formalizing mathematical concepts. The user implemented new lemmas, particularly for power functions, sets, and finite sets, demonstrating a strong understanding of Lean 3 and formal theorem proving. Furthermore, the user was involved in the development of core category theory functionality within the library.
maththeorem-provingcomponents-librarymathematicsjavascript
b-mehta/maths-notes
Oct 2017 - Oct 2019
Lecture notes from Cambridge maths
Contributions:403 commits, 6 PRs, 124 pushes in 2 years
mathnotesmathsmathematicscombinatorics
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.