
Equipe Combinatoire et Algorithmes
Responsable : Magali BARDET
Objectifs
L’équipe « Combinatoire et algorithmes » du LITIS s’intéresse à l’étude des aspects fondamentaux des algorithmes ou problèmes informatiques : le travail est centré autour de l’étude combinatoire et algorithmique de modèles de nature algébrique utilisés pour le traitement de l’information (mots, monoïdes libres, automates, séries génératrices, systèmes polynomiaux). L’équipe applique aussi ses concepts, méthodes et résultats en cryptographie, physique théorique, traitement des documents arborescents, validation temps-réel, etc.
Les résultats de l’équipe se répartissent dans ses principales thématiques :
- Combinatoire
- Cryptographie et calcul formel
- Théorie des langages et automates
Approche
- Étude structurelle et combinatoire des modèles algébriques (mots, monoïde libre, polynômes) ; classification
- Étude algorithmique effective (automates finis, algèbres, logique formelle, systèmes de calcul symbolique)
- Extension des modèles existants et construction de nouveaux modèles (automates d’arbres, d'ordres, algèbres de Hopf combinatoire, information quantique)
- Codes correcteurs d'erreurs, cryptography
Applications
- Systèmes d’informations, Sécurité, Cryptographie ;
- Analyse automatique d’algorithme ;
- Compression de données, codes correcteurs d’erreur ;
- Physique statistique, information quantique, algèbre, théorie des représentations.
- Compilation, recherche de motifs
- Calcul formel
- Logique formelle
Projets en cours
Personnels
- Membres de l'équipe
- POSTDOC : 1
- ASSOCIES : 5
- DOCTORANTS : 4
- PERMANENTS : 11
Réseaux de Recherche
- GDR IFM (Informatique Mathématique), groupes de travail
- CombAlg (Combinatoire Algébrique)
- SDA2 (Systèmes Dynamiques, Automates et Algorithmique)
- DAAL -anciennement ALGA- (Data, Automata, Algebra and Logic)
- Calcul formel
- C2 (Codage et cryptographie), commun avec le GDR Sécurité Informatique
- Fédération de recherche NormaSTIC (FR 3638) avec le GREYC
- Pôle régional Sciences du Numérique
Mots clés
combinatoire énumérative
combinatoire algébrique
combinatoire des mots
théorie des langages
automate fini
calcul symbolique
cryptographie
logique formelle