Gary Soeller
Site Reliability Engineer at Canonical
Denver, Colorado, United States
Summary
👤
Senior🎓
Top SchoolGary Soeller is a Site Reliability Engineer with 11 years of experience building and operating resilient distributed systems, now based in Denver and currently at Canonical. His background spans principal engineering roles at Mason and hands-on firmware/cloud integration work at Golioth, complemented by academic research at UC San Diego and Northeastern. He focuses on reliability, automation, and pragmatic tooling to bridge developer workflows and production constraints. Gary’s career blends research rigor with product-facing engineering, enabling him to tackle both low-level systems problems and large-scale service reliability. He has a consistent track record of moving projects from prototype to production and often brings research insights into practical engineering solutions.
11 years of coding experience
11 years of employment as a software developer
Bachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Northeastern University
Github Skills (33)
cryptanalysis10
constant-time10
tlaplus9
fhe9
smt9
theorem-proving8
charts8
tiger8
coq8
dependent-types8
opam7
proof-assistant7
programming-language7
interpreter7
helm7
Programming languages (4)
Github contributions (5)
soelgary/MapWatch
Sep 2014 - Jan 2017
Contributions:293 commits in 2 years 4 months
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.