Sites Inria

Equipe de recherche DEDUCTEAM

Deduction modulo, interopérabilité et démonstration automatique

  • Responsable : Gilles Dowek
  • Type : équipe
  • Centre(s) de recherche : Saclay
  • Domaine : Algorithmique, programmation, logiciels et architectures
  • Thème : Preuves et vérification
  • Les "équipes" Inria sont en général des groupes de chercheurs engagés dans la définition d'un projet et d'objectifs partagés, qui donneront lieu à la création d'une équipe-projet. Les équipes-projets ainsi créées peuvent être commune avec des partenaires (universités ou organismes de recherche)

Présentation de l'équipe