ERC Consolidator Grant for Assia Mahboubi

Assia Mahboubi received an ERC Consolidator Grant for her research project "Fast and Reliable Symbolic Computation"

01/14/2021 | 1:03 PM

Assia Mahboubi, a permanent researcher at Inria (France) and endowed professor (by Foundation CAN) at the VU Department of Mathematics, has received an ERC Consolidator Grant for her research project "Fast and Reliable Symbolic Computation". She will investigate how computational mathematics can benefit from recent spectacular advances in software tools for expressing and verifying mathematics in a rigorous logical language. More details can be found in this interview.