Brussels / 1 & 2 February 2014


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.


Title Day Room Track Start End
SPARK 2014: Hybrid Verification using Proofs and Tests Saturday K.4.601 Ada 14:00 14:50