Pages personnelles professionnelles
David CHEMOUIL
Researcher at ONERA/DTIM Toulouse
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
I also entertain a strong interest in free software and similar movements in research, culture, art, etc.
- 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
Short vitæ
Contact
David CHEMOUIL
ONERA/DTIM
2 avenue Édouard Belin
31055 Toulouse
France
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