Equipes
  Vérification d'Algorithmes, Langages et Systèmes

Equipes-projets Inria communes
  Toccata

Resultats majeurs
  ESOP 2014 : A Coq Formalization of the Relational Data Model

Contrats
  Typex

Logiciels et brevets
  CDuce
  Datacert

Collaborations


Membres
  BENZAKEN Véronique
  CONTEJEAN Evelyne
  NGUYEN Kim
  DUMBRAVA Stéfania Gabriela
  IM Hyeonseung
  MARCOZZI Michaël

Thèses et habilitations
  Formalisation en Coq de Bases de Données Relationnelles et Déductives - et Mécanisation de Datalog

° Algorithmes pour les grands volumes de données distribuées
° Algorithmique des systèmes en réseau
° Algorithmique distribuée
° Architectures parallèles
° biologie de synthese
° Biologie des systèmes
° Biologie structurale
° biologie synthetique
° Calcul à haute performance
° Calcul quantique
° Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
° Codage réseau
° Collaboration médiatisée
° Combinatoire
° Compilation et optimisation des programmes
° Décision optimale en contexte incertain
° Définition de nouveaux critères
° Démonstration automatique, SMT et applications
° Distributed Design
° Fab lab
° Fabrication Numérique
° Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
° Formalisation et preuves de programmes numériques
° Gestion de données du Web
° Ingénierie des systèmes interactifs