Mark Gritter
Software Engineer at ThirdLaw | Runtime AI Safety
Eagan, Minnesota, United States
Summary
🤩
Rockstar🎓
Top SchoolMark Gritter is a seasoned software engineer with over a decade of experience building production-grade backend systems and distributed storage at companies from startups to HashiCorp. He co-founded and architected Tintri’s VM-aware flash file system, later served as a founding engineer at Akita where he led the product shift into production deployments and platform integrations, and was principal engineer at Postman driving analytics and replay features. His open-source contributions include backend fixes to high-profile projects like HashiCorp Vault (ACL handling and backend tests) and the F* proof-oriented language, reflecting a focus on correctness, observability, and secure systems. Now at ThirdLaw working on runtime AI safety, he blends deep systems design with practical operational experience across databases, agents, and large-scale telemetry. Colleagues know him for shipping durable solutions—often tackling low-level edge cases like nil parameter handling or multi-unit name ordering that improve reliability in production. He holds an M.S. in Computer Science from Stanford and combines academic rigor with hands-on delivery.
10 years of coding experience
24 years of employment as a software developer
B.A. Computer Science Mathematics, B.A. Computer Science Mathematics at Gustavus Adolphus CollegeM.S. Computer Science, M.S. Computer Science at Stanford University
Stackoverflow
172reputation
7kreached
2answers
3questions
Github Skills (18)
dependent-types10
testing10
secret-management10
ocaml10
secrets-manager10
go10
vault10
programming-language9
acl9
theorem-proving9
flood-fill6
powercli6
borrow-checker6
emacs6
astar6
Programming languages (12)
Github contributions (5)
hashicorp/vault
Apr 2019 - Jun 2021
A tool for secrets management, encryption as a service, and privileged access management
Role in this project:
Backend Developer
Backend DeveloperContributions:136 reviews, 150 commits, 173 PRs in 2 years 1 month
Contributions summary:Mark primarily focused on enhancing the Vault backend's functionality, as evidenced by their contributions to ACL processing and test suite modifications. The user's work involved checking and handling nil parameter values within the ACL system and in the Vault's API requests. Moreover, the user made changes in backend testing, including handling multiple organizational units in a name and ensuring the correct order of entries.
access-managementencryptionvaultgosecrets
FStarLang/FStar
Nov 2021 - Jan 2022
A Proof-oriented Programming Language
Role in this project:Backend Developer
Backend DeveloperContributions:8 commits, 4 PRs, 3 comments in 2 months
Contributions summary:Mark primarily contributes to the backend of the F* programming language project. Their work focuses on fixing bugs in the core language features, specifically addressing issues with tuple introduction documentation and the `count` function implementation within the `List` module. They also added functionality to the library with an `as_set` implementation and integrated updates from other branches. The changes highlight a focus on type safety and correctness within the language.
programming-languageverificationdependent-typessmttheorem-proving
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.