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).
Sessions
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Simplifying the Use of Formal Methods | Sunday | AW1.120 | Ada | 16:00 | 16:50 |