Sylvie Boldo est chercheuse en informatique. Ses recherches concernent à la fois la formalisation des mathématiques et l'arithmétique des ordinateurs, notamment la vérification formelle des programmes et algorithmes utilisant l'arithmétique à virgule flottante. Elle est directrice de recherche à Inria, affiliée au laboratoire de méthodes formelles de l'université Paris-Saclay et au centre de recherche Inria Saclay-Île-de-France. Elle est également la première présidente du jury de l'agrégation française d'informatique.
En savoir plus : https://pages.saclay.inria.fr/sylvie.boldo/
Catherine Dubois est professeure à l'ENSIIE et membre de l'équipe Méthodes du laboratoire Samovar depuis le 1er janvier 2016. Elle est actuellement en délégation dans l'équipe-projet Deducteam de INRIA Saclay au laboratoire LMF. Elle est co-directrice du GDR GPL (Génie de la programmation et du Logiciel) depuis le 1er janvier 2021. Elle a précédemment été responsable de l'équipe Conception et Programmation Raisonnées (CPR) du laboratoire Cedric jusqu'en juillet 2015 et co-responsable du groupe de travail LTP (Langages, Types et Preuves) du GDR GPL jusqu'en avril 2015. Ses principaux thèmes de recherche actuels sont la sémantique des langages de programmation, la preuve formelle et l'interopérabilité des outils de preuve.
En savoir plus : http://web4.ensiie.fr/~dubois/