LIVE
To follow what I am doing.
Professional
Introduction to the PhD (September and October 2011)
Master 2 internship (March to July 2011) with Yann Régis-Gianas and Roberto Amadio
Yale internship (March to August 2010) with Zhong Shao
I was an intern at Yale University for 6 months. I was working on parallel programs verification.