La mission de ce département est d'approfondir les théories et les techniques de base indispensables à la conception et à la réalisation de systèmes informatiques intégrés aéronautiques et spatiaux (sol et/ou bord), au développement de systèmes d'information et de communication complexes et à la modélisation physique mathématique.
Les domaines de recherches majeurs sont : les applications de la logique (logique des prédicats, logique temporelle, logique non standard), les méthodes formelles, les approches orientées-objets, la formalisation de cahier des charges, la modélisation rigoureuse de systèmes complexes, les systèmes distribués, les architectures client-serveur, les problèmes de satisfaction de contraintes, les réseaux de neurones, la programmation synchrone, l'algorithmique interruptible, la parallélisation d'algorithmes, la construction de logiciel par composition de modules, les méthodes de résolution numérique de systèmes d'équations aux dérivées partielles.
Modifié le 16 janvier 1997