Evaluation reports
FR
IRIF - Institut de recherche en informatique fondamentale
Type: Research unit evaluation report
Evaluation campaign: 2017-2018 (group D)
- Published on: 30/05/2018
Institution(s) concerned:
Université Paris Diderot - Paris 7
, Centre national de la recherche scientifique - CNRS
Disciplinary research field: Science and Technology (ST) ; ST6 Information and Communication Science and Technology ; ST1 Mathematics
Scientific field(s): 1 - Mathématiques et leurs interactions
ERC panel(s): LS1_1 Molecular biology and interactions ;
Name of unit teams: 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
Keywords: complexité ; combinatoire ; théorie des automates ; algorithmique ; sémantique ; logique ; vérification