Cédric Besse est Maître de conférences en informatique à l’UPMC depuis 2003. Il a effectué sa thèse au sein du département Logiciels Réseaux de l'Institut National des Télécommunications puis a effectué un post-doctorat au Laboratoire Bordelais de Recherche en Informatique (LaBRI) de l’Université Bordeaux I. Ses travaux s’inscrivent dans la problématique suivante : fournir des techniques formelles de validation pour les systèmes communicants, tant au niveau de la spécification qu'au niveau de l'implantation. Ainsi il s’intéresse en particulier aux techniques de génération automatique de tests pour les parties de contrôle et de données des protocoles de communication.
