I'm currently Engineering Director at Google in Paris, France.
Prior to that, I spent seven years at AREVA's, where I lead the design, implementation and validation of the safety critical control systems of the third-generation nuclear power plants (EPR) built in Finland, France and China. And even before, I studied at the École normale supérieure, Paris, and I completed a PhD thesis at INRIA under the direction of François Pottier. My PhD was about programming languages and computer security, more details are available there.
The best way to contact me is to sent me an e-mail at my personal address: vincent[dot]simonet[at]vtst[dot]net.