Sam Cowger
Research Engineer at Galois, Inc.
Portland, Oregon, United States
Summary
👤
Senior🎓
Top SchoolSam Cowger is a research engineer based in Portland, Oregon with nine years of experience applying formal methods, domain-specific language design, and scientific model orchestration to real-world problems. At Galois he bridges applied research and engineering—working on cryptographic capability analysis, modeling-as-a-service, and DSL implementation—bringing both functional and imperative paradigms to bear. He earned his CS background at Tufts, where he also taught advanced programming languages and extended a Haskell-embedded DSL for bit-level parsing and data synthesis. Comfortable moving between theoretical foundations (lambda calculus, type systems) and practical tool-building, he has a knack for turning formal ideas into usable software infrastructure. Notably, his work combines deep language and semantics knowledge with hands-on systems development, making him effective at both specification and implementation.
9 years of coding experience
Bachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Tufts University
Italian
Github Skills (92)
scripting-language10
datalog10
scripting10
sat-solver10
dependent-types9
semantics9
text-based9
plutus9
std9
frida9
cardano9
haskell9
cerberus9
networking9
blockchain9
Programming languages (9)
Github contributions (5)
GaloisInc/VERSE-Toolchain
Dec 2024 - Mar 2025
Tools for testing and verifying the safety and correctness of C programs.
Contributions:1 release, 2 reviews, 61 PRs in 3 months
JumboCode/wmfo
Feb 2017 - Apr 2024
Contributions:10 pushes, 1 issue in 7 years 3 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.