Une bourse ERC pour Assia Mahboubi et la théorie des types

Distinctions International Informatique

 Assia Mahboubi, chargée de recherche Inria au Laboratoire des Sciences du Numérique de Nantes (LS2N - CNRS/École Centrale de Nantes/Université de Nantes/IMT Atlantique), vient d'obtenir une bourse ERC Consolidator Grant pour ses travaux sur la théorie des types, un formalisme de fondations des mathématiques.

ERC Consolidator Grant 2020 : Assia Mahboubi formalise les fondations des mathématiques - actualité Inria publiée à l'occasion de l'ERC Consolidator Grant 2020 (9/12/2020)

Contact

Assia Mahboubi
Chargée de recherche Inria au LS2N