Une bourse ERC pour Assia Mahboubi et la théorie des types
Distinctions
International
Computer science
Assia Mahboubi, Inria researcher at the Laboratory of Digital Sciences of Nantes (LS2N - CNRS/École Centrale de Nantes/University of Nantes/IMT Atlantique) has just obtained an ERC Consolidator Grant for his work on type theory, the study of 'type' systems in mathematics which aims to formalise mathematical results.
ERC Consolidator Grant 2020: Assia Mahboubi - formalising the foundations of mathematics - Inria news article published at the time the 2020 ERC Consolidator Grant was awarded (9/12/2020).