Xavier Rival

Research Director at INRIA Paris-Rocquencourt (Directeur de Recherche, DR 2)

Head of the ANTIQUE (ANalyste staTIQUE) Project-Team

(formerly Abstraction Project-Team)

Recent and upcoming events

Research interests

I am working on static analysis for the verification of semantic properties of programs. My main focus is on abstract interpretation and more specifically on symbolic abstractions:



Current PhD students

Past PhD students


Address and contact information

DI - Ecole Normale Supérieure
45, rue d'Ulm
75230 Paris Cedex 05 - France
E-mail: rival A T 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

More information about me