Assia Mahboubi

2020 - Gallinette project-team

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.

Retrouvez son interview