Sylvain Ribstein
Software Engineer at Nomadic Labs
Lyon, Auvergne-Rhône-Alpes, France
Summary
🤩
Rockstar🎓
Top SchoolSylvain Ribstein is a software engineer based in Lyon with 11 years of experience building reliable, algorithm-focused systems, currently contributing at Nomadic Labs. He has deep interest and practical experience in functional programming and formal methods, demonstrated by internships producing Coq/Ssreflect proofs and OCaml modules for reactive programming. His background spans applied roles in blockchain and research-adjacent teams (Cryptium Labs, Heliax) and consultancy, showing an ability to move between rigorous theory and production engineering. Motivated by crafting deterministic, resource-aware algorithms, he blends academic rigor from Université Paris Diderot and international exposure at San Francisco State with hands-on delivery in industry. An understated strength is his focus on efficiency trade-offs (time, memory, parallelism) rather than just feature delivery, making him well suited for systems and protocol engineering.
11 years of coding experience
3 years of employment as a software developer
Graduate, Computer Science, Graduate, Computer Science at San Francisco State UniversityLicence, Computer Science, Licence, Computer Science at Université Denis Diderot (Paris VII)Master 2 (M2), Computer Science, 15/20, Master 2 (M2), Computer Science, 15/20 at Université Paris Diderot
French, English, Spanish
Github Skills (6)
rpc10
rust10
protocol-buffers10
blockchain9
webassembly8
gossip8
Programming languages (10)
Github contributions (5)
sribst/.dotfiles
May 2019 - Oct 2024
Contributions:233 pushes, 1 branch in 5 years 5 months
sribst/Back-To-The-FRP
Mar 2018 - Dec 2020
Contributions:7 pushes, 1 branch in 2 years 10 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.