Gordon Stewart
Associate Director, Secure And Resilient Systems
Boston, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolGordon Stewart is an Associate Director leading Formalized Security within Riverside Research’s Secure and Resilient Systems group, bringing 11 years of experience at the intersection of formal methods, systems software, and security. Previously he led concurrency verification and engineering teams at BlueRock Security, delivering formal verification for large government customers and driving company-wide code quality initiatives. A former Princeton PhD and assistant professor, he bootstrapped a competitive research program, won grants, published at top venues, and mentored MS/PhD students while earning a teaching award. He combines deep academic rigor in formal methods and compilers with practical leadership in deploying verified systems at scale. Based in Boston, he blends research-first thinking with hands-on engineering management—often applying proof techniques to real-world concurrency and resilience problems.
11 years of coding experience
9 years of employment as a software developer
AB Classics, AB Classics at Harvard UniversityWashington and Lee UniversityPhD Computer Science, PhD Computer Science at Princeton University
Github Skills (55)
tlaplus10
tla10
compcert10
scripting10
verification10
proof10
sat-solver10
formal-verification10
coq10
smt10
coq-library9
model-checking9
proof-assistant9
coq-plugin9
formal-languages9
Programming languages (10)
Github contributions (5)
gstew5/snarkl
Feb 2015 - Jul 2018
Contributions:311 commits, 111 pushes, 4 branches in 3 years 5 months
gstew5/cs4100-sp19
Dec 2018 - Jan 2020
Contributions:245 commits, 220 pushes, 1 branch in 1 year 1 month
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.