About
Xavier Rival is a Senior Researcher at Inria, affiliated with multiple project teams including Antique, GraphDeco, Sierra, and Quantic. He focuses on data structures and algorithms within operating systems and embedded programs, with a strong emphasis on artificial intelligence and software engineering. Rival received the ERC Proof of Concept grant in 2018 for his work on formal verification tools.
- Current teams: GraphDeco (since 2016), Quantic (since 2021), Sierra (2016-2024)
- Key collaborations: European Research Council grants, Inria Startup Studio
Research trends include neural network security, curiosity-driven machine learning, and AI safety verification. Notable projects involve SOFA open-source coordination and DeepTech initiatives at Inria Saclay.
- Scientific awards
- ERC Proof of Concept grant (2018)
0Publications listed
