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)
jam7
music4
deep-q-learning4
vst4
midi4
latex3
console3
audiounit2
computer-music2
q-learning2
tensorflow2
android2
deep-learning2
clap2
audio2
Programming languages (3)
Github contributions (5)
openETCS/requirements
Jan 2013 - Feb 2014
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.