Chercheuse en informatique à Saclay (Inria), spécialiste en arithmétique des ordinateurs, en preuves formelles et en vérification de programmes.
Chercheuse en informatique à Saclay (Inria), spécialiste en arithmétique des ordinateurs, en preuves formelles et en vérification de programmes.