Paul Gallot

PhD student in computer science.

photo

PhD

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).

Contact

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
FRANCE

Office : B213 (Building B)