Français Anglais
Accueil Annuaire Plan du site
Accueil > Equipes > Activités de recherche > Démonstration automatique
Equipes
Démonstration automatique



Equipes
  Toccata
  Intelligence Artificielle et Systèmes d'Inférence

Equipes-projets Inria communes


Resultats majeurs
  Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web
  Non-conservative Extension of a Peer in a P2P Inference System
  A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic

Contrats
  MEDIAD

Logiciels et brevets
  SomeWhere
  CiME
  Coccinelle

Collaborations


Membres
  ROUSSET Marie-Christine
  SIMON Laurent
  MOY Yannick
  NGUYEN Gia Hien
  ABDALLAH Nada
  STOULS Nicolas
  LESCUYER Stéphane

Thèses et habilitations
  Preuves mécanisées de propriétés de programmes
  Éléments pour la Décidabilité de l'Unification modulo la Distributivité.
  Preuve automatique et modulaire de la sûreté de fonctionnement des programmes C
  Preuve automatique : techniques, outils et certification


Activités de recherche
° 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
° Calcul à haute performance
° 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
° 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
° Intégration de données et de connaissances
° Interaction Homme-Machine
° Langages et systèmes centrés données
° Méthodes de conception générative
° Modélisation et systèmes à grande échelle