I am Project Officer for Embedded Software at the French Direction Generale de la Competitivite, de l'Industrie et des Services.
I am PhD in Computer Science. I did my thesis in the Webdam ERC Project team (INRIA Saclay--Ile-de-France and Laboratoire Specification et Verification of ENS Cachan). My advisor was Serge Abiteboul.
You can download the english version of my curriculum vitae.