Xavier Rival

2011 - Abstraction project-team
Xavier Rival
© Hackjoo Oh

Xavier Rival, 2011 winner of an ERC - Startng Grant, is working on the possibility of automatically verifying the safety of critical software.

In the Abstraction team, we are developing methods for automatic code analysis that will allow all the executions of a program to be verified in a single calculation.

Read the interview