I now work in the AREVA group, the French leader in energy (nuclear power and electricity transmission & distribution). I am currently involved in the development of the protection system of the EPR nuclear reactors to be built in Finland and in France. The protection system is the highest-level safety system of a nuclear power plant.
Formerly, I prepared and defended my PhD thesis in the Cristal team at INRIA Rocquencourt. My advisor was François Pottier. I was working on information flow analysis and constraint-based type inference systems, you can read the summary of my research activities and have a look to my list of publications for the details.
I worked, from 1998 to 2003, at Lycée Janson de Sailly (Paris) as a teaching assistant in computer science. The problems I submitted to my students are on this page (in french).
 |  |
| [english] | french |