Xavier Rival
Research Scientist (Chargé de Recherche), INRIA Paris-Rocquencourt
Head of the Antique Project Team (formerly Abstraction Project Team)


DI - Ecole Normale Supérieure
45, rue d'Ulm
75230 Paris Cedex 05 - France
E-mail: rival AT di.ens.fr
Bureau: 2nd étage, "escalier de la direction", see the map
Phone: +33 1 44 32 21 50
Fax: +33 1 44 32 20 80

MemCAD ERC Project

My research is currently funded by the MemCAD ERC project. The goal of this project is to design abstract domains for data-structures and ways to combine such domains into precise, efficient and scalable static analysis tools.

Upcoming and recent events

Research interest

I am interested in static analysis of softwares, in order to prove correctness properties (e.g., absence of runtime errors, functional correctness, etc) in an automatic way:

PhD students


More info about me...