Assia Mahboubi

Coll. part.

Assia Mahboubi, 2020 winner of the ERC - Consolidator Grant, works on improving the results produced by implementations of computer algebra algorithms.

The objective of this project is to combine the efficiency of computer algebra systems and the reliability of proof assistants, in the service of mathematical research.

Read the complete interview

Assia Mahboubi formalise les fondations des mathématiques