Postdoc at ASCOLA team (EMN-INRIA, LINA)
I am doing a postdoc since January 2012 in the ASCOLA team, a joint team of EMNantes and INRIA that is also part of the LINA (CNRS) institute.
I obtained my PhD degree in computer science from the university of Franche-Comté in December 2010. It was a joint PHD between the LIFC and the CEA LIST. My dissertation deals with formal methods and software verification using static analysis, program transformation and dynamic analysis. It was acheived under the supervision of M. Jacques Julliand, M. Alain Giorgetti and M. Nikolai Kosmatov.
I also have a software engineering degree from the CNAM and a M.S. degree from the University Paul Sabatier Toulouse III.