Français Anglais
Accueil Annuaire Plan du site
Accueil > Equipes > Activités de recherche > Compilation et optimisation des programmes
Equipes
Compilation et optimisation des programmes



Equipes
  Systèmes Parallèles

Equipes-projets Inria communes
  Postale

Resultats majeurs


Contrats


Logiciels et brevets


Collaborations


Membres
  GRUAU Frédéric
  NGUYEN Kim
  MANDEL Louis
  FURSIN Grigori
  FALCOU Joël
  ESTERIE Pierre
  BAGNERES Lénaïc
  MASLIAH Ian
  TRAN TAN Antoine
  IM Hyeonseung
  LACASSAGNE Lionel
  BALABONSKI Thibaut

Thèses et habilitations



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
° Calcul quantique
° Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
° Codage réseau
° Collaboration médiatisée
° Combinatoire
° 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