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

Ligne orange
Bouton Aronautique Bouton Espace Bouton Dfense et scurit Bouton Transfert de technologie Bouton Souffleries

ENGLISH

RECHERCHE DIRECTE

L’Onera de A à Z

ONERA-ISA

ONERA-ISA

Pages personnelles professionnelles

David CHEMOUIL

Researcher at Onera - DTIM Toulouse

Research

  • 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)

Teaching

  • ISAE/Supaéro: formal system specification; functional programming
  • ENAC: computability theory

Service

Links

Misc

Contact

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


Contents


Mis à jour le 2011-09-28 - © ONERA 2009 - Crédits et conditions d'utilisation