Matthew Thornton
Software Engineer at Quadrature
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolMatthew Thornton is a full-stack software engineer and team lead with 11 years' experience building production systems across finance, defence and startups. He has led multiple greenfield projects end-to-end—working directly with customers, architects and ops—to deliver robust, production-ready platforms using C#, F#, TypeScript, React, Kafka and AWS. A practical advocate for functional programming, domain-driven design and type safety, he focuses on rapid iterations to surface feedback early while keeping systems maintainable. As a technical co-founder he built a symbolic execution-as-a-service (Symbolica) and achieved a ~1Mx speedup on a large Verilog analysis, and he contributes to notable open-source projects such as improvements to the Fable compiler’s Uri handling. Based in London, he combines deep systems-level problem solving with product-facing experience in trading and monitoring systems.
11 years of coding experience
12 years of employment as a software developer
A-Levels, Physics, Chemistry, Maths, Economics, A-Levels, Physics, Chemistry, Maths, Economics at Queen Elizabeth's Grammar School, AshbourneMPhys (Hons), Physics, MPhys (Hons), Physics at University of BathMaster of Science (MSc), Applied Statitistics, Master of Science (MSc), Applied Statitistics at Birkbeck, University of London
Stackoverflow
796reputation
130kreached
33answers
7questions
Github Skills (17)
javascript10
typescript10
typescript-types10
fsharp10
typescripts10
unit-testing9
while-loop6
boost6
clang6
android6
cmake6
java6
minesweeper6
algorithm6
dart4
Programming languages (12)
Github contributions (5)
fable-compiler/Fable
Jul 2021 - Jul 2021
F# to JavaScript, TypeScript, Python, Rust, Erlang and Dart Compiler
Role in this project:
Back-end Developer
Back-end DeveloperContributions:4 reviews, 5 commits, 1 PR in 6 days
Contributions summary:Matthew primarily focused on enhancing the `Uri` class within the Fable compiler library. Their work involved adding a replacement for `System.Uri.TryCreate`, refactoring the `Uri` class, and integrating new functionality. The user also fixed TypeScript linting warnings and added unit tests to ensure the correctness of the `Uri` class and its related methods. This demonstrates a strong emphasis on improving the core functionality of the library.
compilerdarterlangjavascriptpython
Symbolica/Symbolica
May 2021 - Jun 2022
Symbolica's open-source symbolic execution engine.
Contributions:1 release, 256 reviews, 219 commits in 1 year 1 month
symbolic-execution-enginesymbolicsymbolic-executionsymbolic-computationverification
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.