Brussels / 2 & 3 February 2013


Valentine Reboul

Valentine Reboul joined AdaCore in 2012 after 3 years of experience in critical systems (Air Traffic Flow Management and Railway automation solutions). She now participates in the "Qualifying Machine" research project and is involved in training sessions given about the Ada Language. She holds an engineering degree from the Ecole Nationale Supérieure d'Informatique et de Mathématiques Appliquées (Grenoble, France).


Title Day Room Track Start End
Simplifying the Use of Formal Methods Sunday AW1.120 Ada 16:00 16:50