Logique et fondements mathématiques

Portrait de Nathalie Revol, chercheuse en mathématiques numériques à Inria Lyon (équipe PASCALINE), spécialisée dans le calcul de haute précision et la fiabilité des simulations numériques.