Matt Windsor
York, England, United Kingdom
Summary
👤
SeniorMatt Windsor is a software engineer with 15 years of experience combining academic research and industry practice to build verification and developer productivity tooling. He currently works at Anaplan improving validation and verification systems and contributing to the company’s open-source engineering portfolio, previously shaping CI/CD metadata tooling in Rust and SQL. His background includes PhD-level research and hands-on roles at the University of York and Imperial College, where he developed formal methods and compiler/testing tools for autonomous and many-core systems. Comfortable across languages (Kotlin, Java, Rust, Go) and platforms, he focuses on reducing toil through robust developer-facing infrastructure. Colleagues value his blend of rigorous formal-methods thinking with pragmatic engineering delivered as reusable, documented tooling. Based in Harrogate, he keeps his research and engineering work open-source where possible, signaling a preference for reproducibility and community use.
16 years of coding experience
Github Skills (118)
testing10
c1110
language-design10
audio-player10
fuzzer10
concurrency10
opam10
package-repository10
state-monad10
logic10
verification10
ocaml10
litmus10
csharp10
github-api9
Programming languages (19)
Github contributions (5)
MattWindsor91/travesty
Dec 2018 - May 2022
Haskell-style container traversability and state monads for Core
Contributions:15 releases, 161 commits, 1 PR in 3 years 6 months
haskellstate-monad
ashikun/zombiesplit
May 2021 - Mar 2023
perhaps, eventually, an IGT split tracker
Contributions:1 PR, 169 pushes, 4 branches in 1 year 10 months
splittracker
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.