Samuel Colin
Cybersecurity Architect at SafeRiver
Greater Paris Metropolitan Region France
Summary
👤
Senior🎓
Top SchoolSamuel Colin is a Cybersecurity Architect with 17 years of experience designing safety- and security-critical software for railway, automotive and avionics systems. He combines a PhD in Computer Science with deep hands-on expertise in formal methods, mathematical modeling and multi-language implementation to produce auditable safety arguments and practical security architectures for ECUs and ADAS platforms. At SafeRiver he has led product cybersecurity design for Veoneer, including key management provisioning and mechanisms across diverse ECU architectures, and built static-analysis tools based on Frama-C with a ~90k-test corpus. His background spans ISO26262 safety processes, EBIOS security analyses and toolchain development, enabling him to bridge rigorous research methods and production constraints. Colocated in Greater Paris, he is known for turning formal proofs and transformation rules into usable verification tools and processes that scale to industrial projects.
17 years of coding experience
1 year of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at Université Denis Diderot (Paris VII)Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Université de Valenciennes et du Hainaut-Cambrésis
French, English, Romanian
Github Skills (4)
intermediate9
intermediate-language7
compiler4
wordpress2
Programming languages (2)
Github contributions (5)
scolin/lshort-fr
Jul 2009 - Aug 2019
Contributions:259 commits, 13 pushes, 8 tags in 10 years 2 months
scolin/cil
Mar 2016 - Nov 2024
Contributions:11 pushes, 7 branches in 8 years 8 months
compilerintermediate-languageintermediate
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.