Thématiques de recherche
Combinatoire algébrique
La combinatoire algébrique est par essence une discipline ouverte qui, à la fois, se nourrit des problèmes issus de domaines divers et contribue à leur développement. Nos travaux se focalisent sur trois thématiques :
- combinatoire algébrique des opérateurs et des diagrammes ;
- combinatoire des polynômes multivariés ;
- combinatoire énumérative.
Contact pour cette thématique : Jean-Gabriel Luque
Langages formels
La théorie des langages formels est une thématique historique au sein de l'informatique théorique rouennaise. Plus précisément, elle s'articule au GR²IF autour des axes suivants :
- algorithmique des automates de mots ;
- algorithmique des automates d'arbres ;
- théorie combinatoire des langages ;
- noyaux et apprentissage.
Contact pour cette thématique : Ludovic Mignot
Informatique quantique
Nos travaux s'organisent selon trois axes représentant chacun un des défis de l'information quantique :
- Stocker l'information quantique;
- Manipuler l'information quantique;
- Comprendre la nature de l'information quantique.
Pour chacun des axes, nous développons des outils théoriques dont les applications irriguent d'autres thématiques scientifiques tout en se nourrissant aussi de leurs apports.
Contact pour cette thématique : Jean-Gabriel Luque
Génie logiciel
Nos travaux se concentrent sur le paradigme objet, en particulier dans le cas spécifique de l'orienté objet à typage statique et nominatif sous hypothèse du monde ouvert. Les problématiques adressées se répartissent selon les axes suivants :
- modèles de classes ;
- cadriciel objet et compilation native ;
- évaluation de l'efficacité du modèle.
Contact pour cette thématique : Florent Nicart