DERI : Présentation

Etudes et recherches

Le programme de recherches du DERI est organisé autour des 3 grands thèmes, chacun contenant un ou plusieurs projets. L'objectif est de maintenir une activité sur les aspects théoriques de l'informatique, concernant le domaine du logiciel et aussi du matériel, qui soient d'une applicabilité réelle pour répondre aux problèmes de conception de systèmes d'informations et de systèmes et logiciels bord et/ou sol.

• Modélisation, Conception et Validation de Systèmes
  • Techniques objets, méthodes formelles, programmation réactive, distribution, simulation comportementale, logiques, fusion d'informations,
• Aide à la décision
  • problèmes de satisfaction et d'optimisation sous contraintes, réseaux de neurones, planification, analyse d'images
• Mathématique Appliquée pour la Physique
  • Eléments finis, volumes finis, maillages auto-adaptatifs, algorithmes parallèles

Une partie importante des travaux est menée en étroite collaboration avec des industriels. Les résultats des travaux du DERI sont principalement des publications et des rapports ainsi que des démonstrateurs (maquettes maérielles, maquettes logicielles). Les travaux du DERI dans de nombreux domaines (logique, spécifications formelles, machines parallèles, etc.) sont connus au niveau internationnal.

Enseignement

Le DERI contribue de manière significative à l'enseignement de l'Informatique et des Mathématiques Appliquées à SUPAERO : Génie Logiciel, Ingénierie des Systèmes, Analyse Numérique des Equations aux Dérivées Partielles, etc.
Le DERI assure également l'animation de nombreux stages de formation de la Société des Amis de SUPAERO et de l'ENSTA.
Le DERI accueille chaque année plusieurs dizaines de stagiaires (thèses, stages de fin d'étude, mini projets, etc.)