Titulaire d’un doctorat de mathématiques obtenu en 2002, Pierre Boudes est maître de conférences en informatique à l’université Paris 13, depuis septembre 2005.
Ses recherches portent notamment sur la théorie de la démonstration et de la programmation au laboratoire d’informatique de Paris nord (LIPN), UMR CNRS 7030.
Pierre Boudes est enseignant et semi-administratif (en ce moment, vice-président du département d’informatique) à l’institut Galilée.
Voir en ligne : Page Pro