Xavier Rival

Research Director at INRIA Paris (Directeur de Recherche, DR 1)

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

  • Josselin Giet, PhD Student at INRIA Paris, co-supervised with Gilles Muller
  • Olivier Nicole, PhD Student at CEA and ENS Paris, co-supervised with Matthieu Lemerre.
  • Ignacio Tiraboschi, PhD Student at INRIA Paris, co-supervised with Tamara Rezk

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