Combinatorics and Algorithms Team

The LITIS Combinatorics and Algorithms Team focuses on the fundamental aspects of algorithms or computer issues. Its work is based on combinatorial and algorithmic analysis of algebra models used in information processing (words, free monoids, automata, generating functions, polynomial systems). The team also applies its concepts, methods and results in cryptography, theoretical physics, tree-document processing, real-time validation, etc.

The team’s output is detailed for each topic as follow:

• Cryptography and Computer algebra
• Formal language and Automata theory

• Algebraic and structural combinatorics analysis (words, free monoids, polynomials), classification
• Algorithm analysis (finite-state automaton, algebra, formal logic, symbolic computation systems)
• Extension of existing models and development of new models (tree and order automata, combinatorial Hopf algebra, quantum information)
• Error-correcting codes, cryptography

• Information systems, Safety, Cryptography

• Automated algorithm analysis

• Data compression, Error-correcting codes

• Statistical physics, Quantum information, Algebra, Representation theory

• Compilation, Algorithm search

• Automated text selection

• Formal logic

Projets en cours :

• PQMC (ANR), 04/2026-03-2030
• PQ-TLS (ANR PEPR), 01/2022-12/2028
• SWAP (ANR), 01/2022-09/2026

Projets passés :

• CBCrypt (ANR), 2017-2022
• ARTIQ (Région Normandie), 2018-2021
• MinMacs (Région Normandie), 2019-2022
• MOUSTIC (Région Normandie, FEDER), 2016-2020
• MIDI (Région Normandie), 2014-2015
• IThèm (PHC Maghreb), 2014-2016

• LMNO (UMR 6139 CNRS, Univ. Caen)
• LMRS (UMR 6085 CNRS, Univ. Rouen)
• INRIA Paris
• XLIM (Limoges)
• IMB (UMR 5251 CNRS, Univ. Bordeaux)
• LMRS (UMR 6085 CNRS, Univ. Rouen)
• IRSEEM (ESIGELEC, Rouen)
• GPM (UMR 6634 CNRS, Univ. Rouen)
• LMSM (EA 4312, Univ. Rouen)
• LMI (EA 3226, INSA Rouen)
• LABRI (UMR 5800 CNRS)
• LRI (UMR 8623 CNRS)
• LIPN (UMR 7030 CNRS)
• LIGM (UMR 8049 CNRS)
• ICJ (UMR 5208 CNRS)
• LAGA (UMR 7539 CNRS)
• LIM (EA 2525)
• USTHB (Algérie)
• Univ. Oran (Algérie)
• EEIDS (Algérie)
• Univ. Sfax (Tunisie)
• Univ. Mohammed V (Maroc)

• 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

• PERMANENT.ES : 8
• DOCTORANTS : 3
• POST-DOCTORANT: 1
• ASSOCIES : 4

Our publications are available on HAL Normandie Université.