Section: Dissemination

Supervision of Ph.D. projects

• Laurent Théry supervises the Ph.D. project of Sidi Ould Biha, which started on 2006, Sept. 1st, with funding from the INRIA-Microsoft research common laboratory.

• Yves Bertot supervises the Ph.D. project of Nicolas Julien, which started on Oct. 1st, 2006, with funding from the French ministry of research and a teaching assistant grant.

• Yves Bertot supervises the Ph.D. project of Ioana Paşca, which started on Oct. 1st, 2007, with funding from the French ministry of research.

• Yves Bertot supervises the Ph.D. project of Tuan Minh Pham, which started on March 1st, 2008, with funding from the ANR GALAPAGOS project.

• Benjamin Grégoire supervises the Ph.D. project of Sylvain Heraud, which started on September 1st, 2008, with funding from the ANR SCALP project.

• Benjamin Grégoire co-supervises the Ph.D. project of Jorge-Luis Sacchini, which started on November 1st, 2007, with funding from the Mobius european project.

• Benjamin Grégoire and Laurent Théry co-supervises the Ph.D. project of Michaël Armand which started on October 1st, 2009, with funding from the ANR DECERT project.

• Gilles Barthe supervised the Ph.D. project of César Kunz started which started in September 2005, and was defended on February 3rd, 2009.

• Gilles Barthe supervises the Ph.D. project of Santiago Zanella which started in June 2006, with funding from the INRIA/Microsoft research laboratory.

• Marieke Huisman supervised the Ph.D. project of Clément Hurlin which started on September 1st, 2006, with funding from Mobius european project and was defended on September 14th, 2009.