Members

Xavier Gillard

Contact Information

Xavier Gillard
PhD Student
UCL / EPL / ICTEAM / INGI
Place Sainte Barbe, 2
1348 Louvain-la-Neuve
Belgium

Office: Réaumur A.140 (1st floor)
Phone: +32 10 45 91 02
Fax: +32 10 45 03 45
Email: Xavier [period] Gillard [snail] uclouvain [period] be -> mailto:Xavier [period] Gillard [snail] uclouvain [period] be

Xavier Gillard

Biography

Xavier Gillard joined the Louvain Verification Lab as PhD student in Sept. 2016. His research aims at understanding and exploiting the modularity of satisfiability checking for verification. During the summer of 2015, Xavier was a visiting student of the Software Design Group at MIT. Before that, Xavier has also been active in various domains of the industry ranging from financial telecommunications to higher-education and eGovernment.

Tags
, , ,

Publications

Talks


Tags Tags: , , ,