Parisian Master of Research in Computer Science (Computer Science)
2011 - 2012
McGill University
Computer Science
2001 - 2001
Ecole centrale de Nantes
Master's degree in Engineering (Computer Science)
1998 - 2001
Université de Nantes
Bachelor's degree (Mathematics)
1998 - 2000
Lycée Pierre de Fermat à Toulouse
Mathematics and Physics
1996 - 1998
Lycée Las Cases à Lavaur
A levels (grade A (very good))
1993 - 1996
David Delmas's Skills
Avionics
Software
Formal Methods
Static Analysis
Semantics
Computer Science
Floating Point Arithmetics
Security
Do 178
C
David Delmas's Summary
David Delmas, based in Brax, FR, is currently a Expert in development and verification of avionics software at Airbus, bringing experience from previous roles at Airbus, École normale supérieure and Airbus Operations SAS. David Delmas holds a 2018 - 2022 PhD in Computer Science @ Sorbonne Université. With a robust skill set that includes Avionics, Software, Formal Methods, Static Analysis, Semantics and more, David Delmas contributes valuable insights to the industry. David Delmas has 1 email on RocketReach.