Matthew Moore

Principal Developer at QA3 Technologies LLC

San Francisco, California, United States
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 Moore is a Principal Developer in San Francisco with 11 years of experience designing cloud-native, distributed systems and high-throughput APIs for satellite imagery and geospatial platforms. He has a strong background in performance optimization and scheduling—maintaining satellite tasking systems and scaling Go/Redis services on GCP—while also delivering event-driven architectures and CQRS-style solutions. An early career foundation in test automation and instrumentation gave him a practical, systems-level view that informs his architecture and reliability work today. He contributes to notable open-source projects like Google's OR-Tools, adding F# examples for linear and integer programming that reflect a penchant for practical optimization and formal modeling. With a BS in Mathematics from the University of Toronto, he combines analytical rigor with hands-on engineering to break systems down and rebuild them better.
code11 years of coding experience
job8 years of employment as a software developer
bookBachelor of Science - BS Mathematics, Bachelor of Science - BS Mathematics at University of Toronto
languagesEnglish, French
github-logo-circle

Github Skills (7)

fsharp10
linear-programming10
combinatorial-optimization10
operations-research10
optimization10
dotnet-core4
csharp4

Programming languages (5)

C#C++RustLuaF#

Github contributions (5)

github-logo-circle
google/or-tools

Sep 2017 - Jul 2018

Google's Operations Research tools:
Role in this project:
userBack-end Developer
Contributions:52 commits, 21 PRs, 28 comments in 10 months
Contributions summary:Matthew contributed to the `google/or-tools` repository by adding new examples in F# to demonstrate linear and integer programming, and also network flow. These examples showcase how to use the OR-Tools library for solving optimization problems. The contributions included defining types for solver algorithms and providing function for linear solver with associated types. These changes involved modifying existing files and creating new ones to integrate the examples and improve the library's usability.
gurobioptimizationmultiobjective-optimizationsimulated-annealingconstraint-programming
acco32/Operations-Research

Jan 2019 - Aug 2022

Operations Research in F#
Contributions:12 commits, 14 PRs, 32 pushes in 3 years 7 months
fsharpmathematicssolverortoolsoperations-research
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 Moore - Principal Developer at QA3 Technologies LLC