Pages personnelles professionnelles

Researcher at Onera - DTIM Toulouse

Interests: requirements engineering, architecture, evolution, viewpoints, safety assessment, safe development
Approaches: logic, algebra, categorical methods
Applications: large-scale systems, critical embedded systems
Other interests: free software and similar movements in research, culture, art, etc.
Publications (courtesy of DBLP, roughly complete and up-to-date)
PhD students:
- 2010-...: Christophe Chareton (co-advisors: J. Brunel, L. Cholvy)
- 2009-...: Maria Piriquito (co-advisor: J-P. Bodeveix)

2011: PC member of INFORSID 2011 & chairman for the session Modélisation, Vérification Formelle et Traçabilité des Exigences
2010: PC member of CSDM 2010
2009: speaker at the Open-Source Software Industry Forum in Toulouse
2008: examiner for Jean-François Rolland's PhD defence (IRIT): Développement et validation d'architectures dynamiques (Development and validation of dynamic architectures).
2008: examiner for Maxime Rebout's PhD defence (IRIT): Une approche catégorique unifiée pour la récriture de graphes attribués (A unified categorical approach to rewriting of attributed graphs)
2008: reviewer for Julien Ouy's PhD thesis (Irisa): Génération de code asynchrone dans un environnement polychrone pour la production de systèmes GALS (Asynchronous-code generation in a polychronous environment for the production of GALS systems)
2007: invited speaker at the 7th international conference on the B method
2006-2008: initiator and coordinator for ANR project SPaCIFY
2002: co-organiser of WIT 2002, the 1st international workshop on isomorphisms of types, at IRIT

2004-2008: flight-software architect (see e.g. Pléiades HR) at the French Space Agency (CNES)

2000-2004: PhD (on type theory and rewriting) with Sergei Soloviev (advisor) at IRIT, and teaching assistant at Université Paul Sabatier
1999-2000: MSc (on actor-based and functional programming) with Patrick Sallé, Marc Pantel and Fabien Dagnat at IRIT
1997-2000: engineer degree in computer science and applied mathematics at ENSEEIHT

My Erdös number is at most 5: David Chemouil - Sergei Soloviev - Grigori Mints - Yuri Matiyasevich - Richard Guy - Pál Erdős
My mathematical genealogy

Onera - DTIM
2 avenue Édouard Belin
31055 Toulouse
France

Tel.: +33 (0) 5 6225 2936
Fax: +33 (0) 5 6225 2593

E-mail : david (dot) chemouil (at) onera (dot) fr

DTIM building, 2nd floor, office n°322

Bienvenue à l'Onera, le centre français de recherche aérospatiale