Benoit Razet
Research Engineer at Galois, Inc.
Charleston, South Carolina, United States
Summary
👤
Senior🎓
Top SchoolBenoit Razet is a research engineer with eight years of industry experience and a strong academic foundation (Ph.D. in Computer Science from Université Paris Cité), currently applying formal methods and rigorous software engineering at Galois, Inc. His career bridges academia and industry—from postdoctoral and professorial roles to applied research in blockchain and formal verification—bringing a methodical, research-driven approach to practical systems. At PokitDok he focused on blockchain research, and his background includes international research stints at Tata Institute and Inria, reflecting comfort with collaborative, cross-cultural projects. Based in Charleston, South Carolina, he specializes in melding theoretical CS with production software, prioritizing correctness and auditable designs. Colleagues would describe him as a curious problem-solver who turns formal techniques into usable engineering solutions.
8 years of coding experience
6 years of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at Université Paris Diderot
Github Skills (15)
structures10
hyperledger10
relational-algebra10
cryptography9
crypto9
zkp9
zk9
ledger9
distributed-ledger8
dlt8
sabre7
blockchain5
substrate4
smart-contracts4
rust3
Programming languages (5)
Github contributions (5)
benoitrazet/sawtooth-core
Feb 2018 - Nov 2018
Core repository for Sawtooth Distributed Ledger
Contributions:1 PR, 49 pushes, 14 branches in 9 months
distributed-ledgersawtoothledgerdistributed
benoitrazet/s-variations
Mar 2018 - Jun 2019
Variations around Savitch's Theorem
Contributions:27 PRs, 30 pushes, 15 branches in 1 year 3 months
variationstheorem
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.