Assia Mahboubi

LAUREATE 2020 - Membre de l'équipe-projet Gallinette
Portrait d'Assia Mahboubi
Coll. part.

Assia Mahboubi, lauréate 2020 de la bourse ERC  - Consolidator Grant, travaille sur l’amélioration des résultats produits par les implémentations d’algorithmes de calcul formel. 

L'objectif de ce projet est de combiner l'efficacité des systèmes de calcul formel et la fiabilité des assistants de preuve, au service de la recherche en mathématiques.

Retrouvez son interview