Catherine Dubois est professeur des universités à l'Institut d'Informatique d'Entreprise, école d'ingénieurs en informatique. Elle est membre du Cedric, laboratoire d'informatique du Conservatoire National des Arts et Métiers, responsable de l'équipe Conception et Programmation Raisonnées. Elle s'intéresse à l'application des méthodes formelles fondées sur la preuve pour le développement de logiciels sûrs.
- Valérie Ménissier-Morain est maître de conférences à l'université Paris 6. Elle est membre du LIP6, laboratoire d'Informatique de Paris 6, dans l'équipe Calfor. Ses thèmes de recherche concernent la sûreté de programmation, en particulier les problèmes liés à l'arithmétique exacte et au calcul, programmé et certifié correct dans un unique cadre de travail.