Durant mon dernier stage post-doctoral effectué au sein de l’équipe CPR du CÉDRIC (CNAM) et depuis ma nomination en tant que Maître de conférence, je développe, dans le cadre du projet A3PAT (A3PAT), une méthode (et un outil) de certification automatique de preuves (en particulier de terminaison) engendrées par un démonstrateur automatique.

Ces travaux ont donnés lieu à plusieur publication en collaboration avec divers membres du projet A3PAT [CCF+07a, CCF+07b, CFU08, CCF+10].


This document was translated from LATEX by HEVEA.