Section: Contracts and Grants with Industry

CIFRE grants

Participants : Claude Marché, Yannick Moy, Christine Paulin-Mohring.

CIFRE, France Télécom R & D

Yannick Moy started his PhD in January 2006. He is working on the analysis of the usage of dynamic memory in embedded C code. The goal is to design static analysis methods for pointer manipulations specialized to the telecommunications applications. The thesis has been defended in January 2009.