Salman Saghafi
Senior Principal Software Engineer at Mimic
San Francisco, California, United States
Summary
👤
Senior🎓
Top SchoolSalman Saghafi is a Senior Principal Software Engineer in San Francisco with 14 years of experience applying formal methods to build verifiable, testable, and secure software systems. He holds a PhD in Computer Science and combines deep academic grounding with hands-on production work across security-focused companies like Fastly, Xage Security, and Shape Security. Salman has designed domain-specific languages and policy composers and led backend traffic processor initiatives that bridge research-grade techniques with operational needs. He excels at translating formal verification and secure design principles into practical engineering solutions that scale in high-throughput environments. Known for marrying rigorous correctness thinking with pragmatic tooling, he often surfaces subtle protocol- and policy-level vulnerabilities before they reach production.
14 years of coding experience
13 years of employment as a software developer
Doctor of Philosophy (PhD) Computer Science, Doctor of Philosophy (PhD) Computer Science at Worcester Polytechnic InstituteMaster's degree Advanced Software Engineering, Master's degree Advanced Software Engineering at The University of SheffieldBachelor's degree Computer Software Engineering, Bachelor's degree Computer Software Engineering at Iran University of Science and Technology
English, Persian
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (26)
sandbox10
wasi10
aot10
compiler10
webassembly10
rust10
jit10
razor9
rust-lang9
crate9
rust-language9
garbage-collection9
relational-algebra9
wasmtime9
theorem-proving9
Programming languages (6)
Github contributions (5)
salmans/rusty-razor
Dec 2018 - Dec 2022
Razor is a tool for constructing finite models for first-order theories
Contributions:1 release, 6 reviews, 129 commits in 4 years
razorpythontheoriesmachine-learningfirst-order
salmans/razor-kotlin
Apr 2017 - Mar 2018
Contributions:83 commits, 2 PRs, 59 pushes in 11 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.