AeroLeads people directory · profile
David C. Email & Phone Number
Senior Research Scientist and Directeur de recherches
at
ONERA - The French Aerospace Lab
LinkedIn matched
✓ Verified July 2026
3 data sources
Profile completeness 86%
Current company
Role
Senior Research Scientist and Directeur de recherches
Location
Toulouse, Occitanie, France
Company size
Who is David C.? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
David C. is listed as Senior Research Scientist and Directeur de recherches at ONERA - The French Aerospace Lab, a with 2018 employees, based in Toulouse, Occitanie, France. AeroLeads shows a matched LinkedIn profile for David C..
David C. previously worked as Senior Research Scientist / Directeur de recherches at Onera - The French Aerospace Lab and Teaching activities (ENSEEIHT, ISAE Supaéro, Université Toulouse-3, ENAC...) at Enseeiht. David C. holds Habilitation, Computer Science from Université Paul Sabatier Toulouse Iii.
Company email context
Email format at ONERA - The French Aerospace Lab
This section adds company-level context without repeating David C.'s masked contact details.
ONERA - The French Aerospace Lab
Review company-level records connected to David C. before choosing the right outreach path.
Profile bio
About David C.
I'm first and foremost interested in computer science research, in particular: formal methods, logic, model-checking, proof assistants, rigorous software engineering, Alloy, TLA+, Event-B, OCaml, Haskell, free open-source software, critical systems, distributed systems... with main applications in aerospace systems.
Current workplace
David C.'s current company
Company context helps verify the profile and gives searchers a useful next step.
Onera - The French Aerospace Lab
4 roles · 27 years
David C. work experience
A career timeline built from the work history available for this profile.
Senior Research Scientist / Directeur De Recherches
CurrentCurrent topics: foundational and applied aspects of the Alloy lightweight formal method; formal analysis of protocols, in particular the Chord DHT.Former interests include: isomorphisms of types; formal methods for critical embedded software; multi-agent temporal logic for goal- and agent-oriented requirements modeling, model-based safety & security assessment (MBSSA).I have advised many Master and PhD students, and I hold the Habilitation diploma.
Oct 2008 - Present
Teaching Activities (Enseeiht, Isae Supaéro, Université Toulouse-3, Enac...)
CurrentCurrent teaching activities: advanced functional programming in OCaml (ENSEEIHT), transition systems and TLA+ (ENSEEIHT), Petri nets (ISAE).Teaching in various Computer Science Departments: Ada + contracts, OCaml and type systems, category theory, algebraic specification, requirements engineering, compilers and language theory, computability theory, free and open source software, formal specification with Alloy...
2000 - Present
~26 yrs 6 mos
Flight Software Architect
Authority for the development of the central flight software for the Pléiades HR satellites (prime contractor: Airbus Defense & Space).In charge of research & development on methods & tools for on-board software development (formal requirements engineering, MDE, AADL, model-checking, B-method...).Free/open-source software specialist.
Oct 2004 - Sep 2008
Team & coworkers
Colleagues at ONERA - The French Aerospace Lab
Other employees you can reach at onera.fr. View company contacts for 2018 employees →
BB
Baumann Bernard
Colleague at Onera - The French Aerospace LabPalaiseau, Île-De-France, France
View →
BT
Brigitte Tretout
Colleague at Onera - The French Aerospace LabÎle-De-France, France
View →
CB
Cécile Bernard
Colleague at Onera - The French Aerospace LabGreater Lille Metropolitan Area, France
View →
CC
Cedric Content
Colleague at Onera - The French Aerospace LabGreater Tours Area, France
View →
LB
Luis Bernardos, Phd
Colleague at Onera - The French Aerospace LabGreater Paris Metropolitan Region, France
View →
JH
Jean-Luc Hantrais-Gervois
Colleague at Onera - The French Aerospace LabMeudon, Île-De-France, France
View →
AD
Anne-Laure Delot
Colleague at Onera - The French Aerospace LabGreater Paris Metropolitan Region, France
View →
EC
Emmanuel Carreau
Colleague at Onera - The French Aerospace LabGreater Toulouse Metropolitan Area, France
View →
RA
Rémy Annunziata
Colleague at Onera - The French Aerospace LabGreater Paris Metropolitan Region, France
View →
PA
Patrick Avran
Colleague at Onera - The French Aerospace LabAjaccio, Corsica, France
View →
Baumann Bernard
Colleague at Onera - The French Aerospace LabPalaiseau, Île-De-France, France
View →
BT
Brigitte Tretout
Colleague at Onera - The French Aerospace LabÎle-De-France, France
View →
CB
Cécile Bernard
Colleague at Onera - The French Aerospace LabGreater Lille Metropolitan Area, France
View →
CC
Cedric Content
Colleague at Onera - The French Aerospace LabGreater Tours Area, France
View →
LB
Luis Bernardos, Phd
Colleague at Onera - The French Aerospace LabGreater Paris Metropolitan Region, France
View →
JH
Jean-Luc Hantrais-Gervois
Colleague at Onera - The French Aerospace LabMeudon, Île-De-France, France
View →
AD
Anne-Laure Delot
Colleague at Onera - The French Aerospace LabGreater Paris Metropolitan Region, France
View →
EC
Emmanuel Carreau
Colleague at Onera - The French Aerospace LabGreater Toulouse Metropolitan Area, France
View →
RA
Rémy Annunziata
Colleague at Onera - The French Aerospace LabGreater Paris Metropolitan Region, France
View →
PA
Patrick Avran
Colleague at Onera - The French Aerospace LabAjaccio, Corsica, France
View →
5 education records
David C. education
Habilitation, Computer Science
Doctor Of Philosophy - Phd, Computer Science
Master Of Science - Ms, Theory Of Programming & Systems
Master Of Engineering - Meng, Computer Science & Applied Mathematics
Education record
FAQ
Frequently asked questions about David C.
Quick answers generated from the profile data available on this page.
What company does David C. work for?
David C. works for ONERA - The French Aerospace Lab.
What is David C.'s role at ONERA - The French Aerospace Lab?
David C. is listed as Senior Research Scientist and Directeur de recherches at ONERA - The French Aerospace Lab.
Where is David C. based?
David C. is based in Toulouse, Occitanie, France while working with ONERA - The French Aerospace Lab.
What companies has David C. worked for?
David C. has worked for Onera - The French Aerospace Lab, Enseeiht, and Cnes.
Who are David C.'s colleagues at ONERA - The French Aerospace Lab?
David C.'s colleagues at ONERA - The French Aerospace Lab include Baumann Bernard, Brigitte Tretout, Cécile Bernard, Cedric Content, and Luis Bernardos, Phd.
How can I contact David C.?
You can use AeroLeads to view verified contact signals for David C. at ONERA - The French Aerospace Lab, including work email, phone, and LinkedIn data when available.
What schools did David C. attend?
David C. holds Habilitation, Computer Science from Université Paul Sabatier Toulouse Iii.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the David C. you were looking for.
View similar profiles
