Réalisations du responsable dans le domaine de l’UE
Philippe Ayrault a été responsable de l'évaluation de sécurité du nouveau Poste de Manoeuvre Informatisé de la RATP mis en service en novembre 2005.
Philippe Ayrault a participé à l'évaluation de la plateforme de vibration Hydra à l'ESA.
Valérie Ménissier-Morain a réalisé la bibliothèque libnums de Caml V3.1, Caml Light et Objective Caml, organisé la première diffusion de Caml en ftp anonyme, testé la bibliothèque libnums et participé à l'élaboration des tests de non-régression du logiciel entier.
Valérie Ménissier-Morain a prouvé avec Catherine Dubois la correction et la validité de l'algortihme W de typage de Caml dû à Damas et Milner.
Philippe Ayrault a participé à la validation de nombreux logiciels avec des clauses de confidentialité.
