Rapport d’évaluation
FR
IRIF - Institut de recherche en informatique fondamentale
Type : Rapport d’évaluation des unités de recherche
Campagne d'évaluation : 2017-2018 (vague D)
- Publié le : 30/05/2018
Établissement(s) concerné(s) :
Université Paris Diderot - Paris 7
, Centre national de la recherche scientifique - CNRS
Domaine(s) disciplinaire(s) de recherche : Sciences et technologie (ST) ; ST6 Sciences et technologies de l'information et de la communication - STIC ; ST1 Mathématiques
Domaine(s) scientifique(s) : 1 - Mathématiques et leurs interactions
Panel(s) ERC : LS1_1 Molecular biology and interactions ;
Nom des équipes de l'unité : Algorithmes et Complexité ; Combinatoire ; Systèmes Complexes, Réseaux, Calcul Distribué ; Théorie et Algorithmes des Graphes ; Automates et applications ; Modélisation et vérification ; Preuves et programmes ; Algèbre et calcul ; Analyse et conception de systèmes
Mot(s) clé(s) : complexité ; combinatoire ; théorie des automates ; algorithmique ; sémantique ; logique ; vérification