Le projet RECIF regroupe des chercheurs et des enseignants-chercheurs dans des domaines assez variés, tous de l’informatique dite fondamentale. Ces recherches théoriques concernent diverses propriétés structurelles portant sur les langages, les automates,
la combinatoire énumérative, les codes, les graphes, les objets géométriques, les réseaux d’interconnexion et les modèles des systèmes parallèles et répartis.
Mots-clés
Informatique fondamentale, calculabilité, complexité, cryptologie, codes correcteurs d’erreurs, langages
formels, graphes, réseaux d’interconnexion, combinatoire énumérative, sécurité, cryptosystèmes à clé publique,
étalement de spectre, compression vectorielle, algorithme de décision, langages rationnels, mélange,
trajectoire, séries génératrices, grammaires d’objets, langages algébriques, règles de succession, méthode ECO
bijections, génération aléatoire uniforme.