Jose Ruiz is a Fellow Engineer at AdaCore with 30 years of experience in embedded, safety-critical, and real-time systems. He holds a Ph.D. in real-time and multimedia systems and has authored or co-authored nearly 50 publications on scheduling policies, resource management, and the design of real-time operating systems.
He is a recognized expert in certifying high-integrity systems across the aeronautics, space, railway, and automotive domains, including certifying run-time libraries and qualifying verification tools and automatic code generators from modeling languages.
His contributions include defining programming language profiles for embedded systems and designing and implementing run-time libraries for bare-metal execution on constrained targets. His current work brings certifiable technologies to modern embedded architectures and safety-critical development workflows.