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.
13 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 (27)
rust-lang10
razor10
compiler10
rust10
expressions9
standard-library9
crate9
garbage-collection9
rust-language9
allocator8
relational8
machine-learning7
python7
database6
shift6
Programming languages (6)
Github contributions (5)
salmans/codd
May 2020 - Aug 2021
A minimal in-memory database with relational algebraic expressions as queries
Contributions:1 release, 36 commits, 52 PRs in 1 year 3 months
memoryrelationaldatabaseexpressionsalgebraic
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.