Max Baxter-allen
Quant at Barclays Investment Bank
Stony Stratford, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolMax Baxter-allen is a quantitative developer and software engineer with nine years of experience building production-grade models and systems across finance, research, and startups. Trained in mathematics at Cambridge, he has applied rigorous math to sonar algorithms, ad-bidding ML, automated reasoning engines for a graph database (notably contributing to TypeDB’s query and type resolution internals), and front-office quant modeling for fixed income and equities. Comfortable moving between Java back-end engineering and Python-driven ML research, he has a track record of turning formal logic and statistical ideas into performant, tested code. A founder-turned-practitioner, he pairs product-minded leadership from an edtech startup with hands-on contributions to open-source database internals, making him adept at shipping reliable, inference-heavy systems under real-world constraints.
9 years of coding experience
5 years of employment as a software developer
Mathematics, Mathematics at University of Cambridge
Github Skills (11)
type-resolution10
schema-org10
javas10
edb10
databases10
schema-design10
schema10
java10
database10
testing9
query-optimization9
Programming languages (5)
Github contributions (5)
typedb/typedb
Nov 2020 - Jan 2021
TypeDB: the power of programming, in your database
Role in this project:
Back-end Developer & Database Engineer
Back-end Developer & Database EngineerContributions:140 reviews, 25 commits, 31 PRs in 2 months
Contributions summary:Max primarily focused on enhancing and maintaining the core functionality of the TypeDB database, with a strong emphasis on its query and reasoning engine. They modified and optimized Java code, focusing on components like `RelationAtom`, `PropertyAtomicFactory`, and schema export, as well as validation methods within `RuleImpl`. They also contributed to the Type Hinter, a crucial part of the type resolution process, including implementing and testing a simpler type resolver, and extending schema tests.
hyper-relationalknowledge-baseknowledge-graphagdagraph-theory
maxbaxt/grakn
Oct 2020 - Feb 2021
Grakn Core: The Knowledge Graph
Contributions:235 pushes, 28 branches in 3 months
knowledgeknowledge-graphgrakngraphrdf
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.