Jose Ruiz
Product Manager at EPITA: Ecole d'Ingénieurs en Informatique
Greater Paris Metropolitan Region France
Summary
👤
Senior🎓
Top SchoolJose Ruiz is a product-minded engineer with 21 years of expertise in embedded real-time and safety-critical systems, now leading the GNAT product family at AdaCore. He combines deep academic pedigree—a PhD on QoS and resource management—with hands-on experience in avionics, space and railway certification and automatic code generation. Known for authoring over 50 papers, he bridges research and productization, turning formal methods and Ada-based toolchains into deployable solutions for high-integrity domains. As a longtime AdaCore engineer and current teacher of Critical Software and DO-178, he blends technical leadership with mentorship and standards expertise. Colleagues rely on him for pragmatic certification strategies and for evolving toolchains that keep legacy safety requirements aligned with modern development workflows.
21 years of coding experience
25 years of employment as a software developer
Engineer, Telecommunication, Engineer, Telecommunication at Universidad Politécnica de Madrid
Spanish, English, French
Github Skills (15)
ada9
ide9
spark8
gnat8
gcc8
spark-ada8
solaris7
python7
gcc-compiler7
sun7
build-system7
linux6
coverage5
test-coverage4
react3
Programming languages (1)
Github contributions (5)
JoseRuizAdaCore/ada-spark-rfcs
Nov 2023 - Dec 2024
Platform to submit RFCs for the Ada & SPARK languages
Contributions:3 pushes in 1 year 1 month
JoseRuizAdaCore/RESSAC_Use_Case
Jun 2017 - Jun 2017
Contributions:2 pushes in 1 day
collaborativeassurancelab
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.