Canal-U

Mon compte

DOWEK Gilles

Gilles Dowek est professeur d'Informatique à l'École polytechnique, chercheur au LIX (Laboratoire d'Informatique) à l'École polytechnique et à l'Institut National de Recherche en Informatique et en Automatique (INRIA), dans le projet TypiCal. Ses travaux portent sur les rapports entre les langages de programmation et le langage mathématique, sur les systèmes informatisés de traitement de démonstrations mathématiques et sur la sureté des logiciels.


 
FMSH
 
Facebook Twitter
Mon Compte