Alex Best
Business Development Manager at Bromley Mencap
Stony Stratford, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolAlex Best is a Business Development Manager with 12 years of experience blending public-sector programme support and hands-on technical contributions to major open-source mathematical software. Based in Stony Stratford, he has progressed through planning, procurement and commissioning roles at the London Borough of Bromley before taking leadership of fundraising and partnerships at Bromley Mencap. Alongside his civic career he’s an active back-end contributor to prominent projects in the theorem-proving and mathematical software communities, including Lean 4, mathlib, SageMath and the LMFDB, focusing on correctness, refactors and performance improvements. That mix of stakeholder-facing programme delivery and detailed code maintenance gives him a rare ability to translate complex technical issues into operational improvements and clear communications. Colleagues describe him as pragmatic and meticulous—equally comfortable negotiating contracts or fixing subtle bugs in a theorem prover’s rewrite tactic.
12 years of coding experience
NVQ, Business Administration and Management, General, Level 2, NVQ, Business Administration and Management, General, Level 2 at Middleton Murray TraineeshipA-Levels and GCSE's, Business Studies, Media Studies, Sports Science, Philosophical Studies, A*-D, A-Levels and GCSE's, Business Studies, Media Studies, Sports Science, Philosophical Studies, A*-D at Hayes School
English
Stackoverflow
306reputation
3kreached
6answers
0questions
Github Skills (35)
structures10
struct10
sage10
develop10
formal-methods10
python10
algebra10
mathematics10
proofs10
proof10
math10
tactics10
maths10
automation10
slim10
Programming languages (22)
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
Back-end DeveloperContributions:377 reviews, 549 commits, 162 PRs in 3 years
Contributions summary:Alex contributed to the mathlib3 library, a mathematical components library for the Lean 3 theorem prover. Their work focused on implementing and refining mathematical components, with commits including the addition of new lemmas for sets and arithmetic as well as bug fixes related to number theory. Additionally the user introduced more algebraic structures with corresponding lemmas.
maththeorem-provingcomponents-librarymathematicsjavascript
leanprover-community/mathlib4
Jun 2022 - Nov 2022
The math library of Lean 4
Role in this project:Back-end Developer
Back-end DeveloperContributions:391 reviews, 6 commits, 96 PRs in 5 months
Contributions summary:Alex primarily contributed to the mathlib4 repository by implementing and modifying Lean 4 code. Their work included adding new commands, such as `unset_option` and `generalize_proofs`, and refactoring existing code within the Mathlib library, like removing `substVars` and marking `h_generalize` as deprecated. The user also updated the `Mathlib/Mathport/Syntax.lean` file and added tests, demonstrating a focus on functionality and maintenance.
maththeorem-provingcomputer-algebra-systemmathematicsin-progress
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.