Matthew Thornton

Software Engineer at Quadrature

London, England, United Kingdom
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Matthew 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.
code10 years of coding experience
job12 years of employment as a software developer
bookA-Levels, Physics, Chemistry, Maths, Economics, A-Levels, Physics, Chemistry, Maths, Economics at Queen Elizabeth's Grammar School, Ashbourne
bookMPhys (Hons), Physics, MPhys (Hons), Physics at University of Bath
bookMaster of Science (MSc), Applied Statitistics, Master of Science (MSc), Applied Statitistics at Birkbeck, University of London
stackoverflow-logo

Stackoverflow

Stats
796reputation
130kreached
33answers
7questions
github-logo-circle

Github Skills (17)

javascript10
typescript10
typescript-types10
fsharp10
typescripts10
unit-testing9
while-loop6
boost6
clang6
android6
cmake6
java6
minesweeper6
algorithm6
dart4

Programming languages (9)

C#TypeScriptC++ShellCJavaScriptVerilogF#

Github contributions (5)

github-logo-circle
fable-compiler/Fable

Jul 2021 - Jul 2021

F# to JavaScript, TypeScript, Python, Rust and Dart Compiler
Role in this project:
userBack-end Developer
Contributions: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.
pythonrustfsharpjavascriptdart
Makes it easy to add search engine metadata to your ASP.NET Core website
Contributions:6 releases, 30 commits, 62 PRs in 2 years 9 months
dotnetaspsearch-engineasp-netnet-core
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.
Request Free Trial
Matthew Thornton - Software Engineer at Quadrature