Patrick Stevens
Principal Engineer at G-Research
England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolPatrick Stevens is a Principal Engineer with 11 years' experience, currently leading back-end and tooling work at G-Research from a strong Cambridge mathematics foundation (BA+MMath). He primarily engineers in F#, contributes to the F# compiler and tooling, and brings rigorous test automation and compiler-level change experience to production systems. Patrick is also an active contributor to formal mathematics in Lean, adding number-theory lemmas and refactorings to mathlib3, showing a rare blend of practical compiler work and formal theorem proving. Based in England, he combines deep type-system intuition with pragmatic Python when necessary, and he excels at making complex language features testable and maintainable.
11 years of coding experience
2 years of employment as a software developer
BA+MMath, Mathematics, Honours with Merit, BA+MMath, Mathematics, Honours with Merit at University of CambridgeWoodbridge School
Stackoverflow
579reputation
6kreached
10answers
11questions
Github Skills (32)
testing10
mathematics10
math10
maths10
compiler-compiler10
compiler10
theorem-proving10
fsharp10
functional-programming10
leanback10
number-theory10
proofs9
dotnet9
tooling9
dotnet-new9
Programming languages (21)
Github contributions (5)
leanprover-community/mathlib3
May 2020 - Jun 2022
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:8 reviews, 128 commits, 22 PRs in 2 years 1 month
Contributions summary:Patrick contributed to the Lean 3 math library by implementing new mathematical theorems and lemmas. Their work involved adding functionality related to binomial coefficients, primorials, and p-adic valuations, demonstrating a focus on number theory and formal mathematics. The user also refactored existing code and provided alternative phrasing of lemmas, improving the library's usability and structure. These contributions suggest a strong understanding of Lean's theorem proving capabilities.
maththeorem-provingcomponents-librarymathematicsjavascript
dotnet/fsharp
Sep 2021 - Jan 2023
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
Role in this project:Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:24 reviews, 4 commits, 14 PRs in 1 year 3 months
Contributions summary:Patrick contributed to the F# compiler and related tooling, focusing on type signature changes, adding error messages, and implementing feature flags for the "obj-inference diagnostic." They modified core compiler files and test utilities. The user also added tests to serve as documentation for PostInferenceChecks, showcasing their contributions to the project's testing framework.
dotnetfunctional-programmingfsharplanguage-servicecore-library
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.