Section: Dissemination

Internships

• Frédéric Blanqui supervised the 2-months internship of Julien Bureaux (ENS Paris) on the certification in Coq of the termination of Haskell programs.

• Frédéric Blanqui supervised the 2-months internship of Antoine Taveneaux (ENS Lyon) on the automated verification of complexity bounds using sized types.

• Frédéric Blanqui supervised the internships of Lianyi Zhang and Qian Wang on the certification of loops in rewrite systems.

• Vania Joloboff supervised the 4-month internships of Pascal Combier, Patrice Seng and Ren Ligang, as well as the one-year internships of Bin Liu, Yuning Pang, Ming Liu and Bing Zhou.