Austin Theriault
Senior Software Engineer at Semgrep
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolAustin Theriault is a Senior Software Engineer based in San Francisco with a decade of experience building distributed systems, operating systems, and developer tooling. He has deep hands-on expertise in OCaml, contributing to Semgrep’s CLI, telemetry, build infrastructure, and M1 Mac support while also handling backend and DevOps responsibilities for a widely used static analysis project. Comfortable across systems and math-heavy domains, he’s shipped IDE extensions, improved SARIF outputs and autofix flows, and even moonlighted as a real-world “treasure hunter” who found $10k in buried treasure. A published researcher in cryptography and a former CS teaching assistant, Austin blends rigorous academic thinking with pragmatic engineering and a penchant for whimsical touches like segfault ASCII art.
11 years of coding experience
6 years of employment as a software developer
Bachelor of Science - BS, Mathematics and Computer Science, Bachelor of Science - BS, Mathematics and Computer Science at The George Washington University
Stackoverflow
91reputation
9kreached
5answers
1question
Github Skills (22)
static-analysis10
back-end-development10
python10
cicd10
devops10
cli10
testing9
pytest9
go9
typescripts8
docker8
typescript-types8
typescript8
dockers8
json8
Programming languages (22)
Github contributions (5)
semgrep/semgrep
Jan 2022 - Jan 2023
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Role in this project:
Back-end Developer & DevOps Engineer
Back-end Developer & DevOps EngineerContributions:1 release, 424 reviews, 27 commits in 11 months
Contributions summary:Austin primarily contributed to the Semgrep CLI, adding features such as autocomplete for command-line options. They implemented and fixed issues related to the SARIF output format, including incorporating autofix functionality. Additionally, the user addressed discrepancies in CI/CD outputs, and added support for M1 Mac builds, indicating involvement in build processes and infrastructure.
static-analysisstatic-code-analysisjavagosast
semgrep/semgrep-intellij
Sep 2023 - May 2025
Contributions:11 releases, 39 reviews, 88 PRs in 1 year 9 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.