José F. Ruiz
José F. Ruiz is a Senior Software Engineer who joined AdaCore in 2002. He received his Ph.D. Degree from the Technical University of Madrid for his work in the field of real-time and multimedia systems, including scheduling policies and resource management in operating systems. He is a specialist in embedded real-time high-integrity systems in Ada, an area where he has been working for more than 15 years, having authored/coauthored over 30 papers in those domains.
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| SPARK 2014: Hybrid Verification using Proofs and Tests | Saturday | K.4.601 | Ada | 14:00 | 14:50 |