Sylvain Baro
Directeur De Projet at SNCF
Greater Paris Metropolitan Region France
Summary
👤
Senior🎓
Top SchoolSylvain Baro is a systems-focused project director with 13+ years designing and delivering CBTC and rail automation systems, blending a PhD in computer science and formal methods with hands-on safety engineering experience. He progressed from safety engineer at Siemens to leading system design, odometry and CBTC simulation teams at SNCF Réseau and now directs major programs at SNCF, combining technical ownership with project leadership. His expertise spans FDMS safety cases, ATP/ATC architectures, simulator development (SIMONE) and site test coordination, enabling him to bridge validation, hardware and software teams. Notably, he pairs formal-methods rigor from academia with pragmatic system engineering on live metro and mass-transit projects, giving him a rare ability to translate proofs and specifications into deployable railway automation.
13 years of coding experience
9 years of employment as a software developer
PhD, Computer Science (Programmation, Proof, Formal Methods), PhD, Computer Science (Programmation, Proof, Formal Methods) at Université Paris CitéMaster's Degree (DEA), Computer Sciences, Master's Degree (DEA), Computer Sciences at Pierre and Marie Curie University
Github Skills (19)
jam8
midi5
deep-q-learning5
deep-q-network5
music4
deep-learning3
dqn3
keras3
deep-reinforcement-learning3
reinforcement-learning3
audiounit3
vst3
linux2
qt2
computer-music2
Programming languages (4)
Github contributions (5)
sbaro/mykabo
May 2026 - Jun 2026
Contributions:1 PR, 10 pushes, 5 branches in 1 month
openETCS/requirements
Jan 2013 - Feb 2014
WP2: Top Level Project for openETCS requirements
Contributions:57 commits in 1 year 1 month
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.