Paul Gallot

PhD student in computer science.



The topic of my PhD is the verification of properties on tranformations of data trees. It is part of the ANR Colis project. My thesis is directed by Sylvain Salvati and co-directed by Aurélien Lemay. Our research team Links is affiliated to Inria Lille, the University of Lille and the CNRS(CRIStAL Lab).

A version of the PhD manuscript is available here.


Phone : +33 3 59 35 87 16

Email : firstname dot lastname at inria dot fr

Office address :
Parc Scientifique de la Haute Borne
40 avenue Halley
59650 Villeneuve d'Ascq

Office : B213 (Building B)