Pages personnelles professionnelles

David CHEMOUIL

Research

I am mainly interested in theoretical computer science and formal methods for large-scale software-intensive systems (publications).

• Methods and processes
  • Formal metamodelling
  • Viewpoints
  • Model evolution
    
• System modelling
  • Goal- and agent-oriented requirements engineering
  • Formal system specification
  • Architecture-description languages
  • Correction by construction
• Formal framework
  • Logic
  • Category theory

Teaching

• Université Paul Sabatier
  • Requirements engineering (M2)
    
• ISAE/SupAéro
  • Formal system specification (M2)
    

Service

Highlights

• 2010: co-organisation of a local annual workshop FAC with Axel van Lamsweerde and José Fiadeiro as invited speakers
• 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
• 2002: co-organiser of WIT 2002, the 1st international workshop on isomorphisms of types, at IRIT

Students

• 2010: Christophe Chareton (MSc) (co-advisor: J. Brunel)
  
• 2009-...: Maria Piriquito (PhD) (co-advisor: J-P. Bodeveix)
  
• 2009: François Troufleau (MSc)
• 2008: Célia Picard (MSc) 
• 2007: Germán Sancho (MSc)
• 2006: Nadège Pontisso (MSc)
  

Links

• Computer science & mathematics: Lambda the Ultimate, The n-Category Café, Wikipedia Mathematics Portal
• Information society: Numerama, April (support), Free Software Foundation (support)
• 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

Short vitæ

• 2004-2008: flight-software architect at the French Space Agency (CNES)
• 2000-2004: PhD with Sergei Soloviev (advisor) at IRIT-Université Paul Sabatier and teaching assistant at Université Paul Sabatier
• 1999-2000: MSc with Patrick Sallé (advisor), Marc Pantel and Fabien Dagnat at IRIT-ENSEEIHT
• 1997-2000: Engineer degree in computer science and applied mathematics at ENSEEIHT

Contact

Here is a map (Google).
My office is n°322 in the DTIM building.

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

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

Mis à jour le 2010-06-07 - © ONERA 2009 - Crédits et conditions d'utilisation