Benjamin Davidson
Student
New York, New York, United States
Summary
🤩
RockstarBenjamin Davidson is a Columbia University student and software engineer with five years of practical experience contributing to formalized mathematics and back-end code. He has meaningful open-source chops in the Lean theorem-proving ecosystem, where he implemented and refactored trigonometric functions, derivative lemmas, parity properties of powers, and integration rules within the prominent mathlib3 library. Based in New York City, he combines rigorous mathematical reasoning with software engineering discipline, making him effective at translating complex analytical concepts into maintainable code. His profile suggests a strong foundation for work at the intersection of formal methods, analysis, and backend systems—skills that are uncommon among typical student developers.
5 years of coding experience
Github Skills (8)
theorem-proving10
calculus10
proofs10
analyse10
proof10
leanback10
math9
mathematics9
Programming languages (2)
Github contributions (5)
leanprover-community/mathlib3
Jul 2020 - Jul 2021
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:383 reviews, 136 commits, 89 PRs in 11 months
Contributions summary:Benjamin contributed to the `mathlib3` library by implementing and refactoring mathematical functions and related lemmas. They focused on expanding trigonometric functions, adding new lemmas for their derivatives, as well as adding lemmas pertaining to even and odd natural powers, demonstrating a deep understanding of mathematical concepts within the context of formal proofs. The user also added multiple integration rules, which is evident in their focus on analysis and calculus.
maththeorem-provingcomponents-librarymathematicsjavascript
benjamindavidson/mathlib-seminar
Mar 2021 - Mar 2021
Contributions:406 branches, 1 tag in 1 day
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.