Matt Windsor
Software Engineer at Anaplan
Harrogate, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolMatt 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.
15 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at University of York
Github Skills (149)
audio-player10
opam10
package-repository10
music10
logic10
verification10
ocaml10
package-manager10
csharp10
c-programming10
intellisense10
player10
filemaker9
dotnet9
hackage9
Programming languages (17)
Github contributions (5)
UniversityRadioYork/ury-playd
May 2014 - Feb 2020
Minimal C++ audio player
Contributions:1 release, 534 commits, 25 PRs in 5 years 9 months
audio-playercppc-plus-plusaudiomusic
UniversityRadioYork/myradio-go
Oct 2015 - Jul 2023
Go wrapper for the Myradio API
Contributions:2 reviews, 8 PRs, 33 pushes in 7 years 10 months
golangapi
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.