Paul Gallot

Computer science PhD



I defended my PhD thesis on december 16th of 2021. It is about verification of properties on tranformations of data trees. It was part of the ANR Colis project. My thesis was supervised by Sylvain Salvati and Aurélien Lemay.

The final version of the manuscript is not out yet, but you can get its most recent version 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)