Laboratoire LIFO – Orléans

« Le laboratoire est structuré en cinq équipes :

– CA : Contraintes et Apprentissage : L’équipe CA est structurée autour de trois axes complémentaires :

Contraints : les formalismes logiques permettant la description de problèmes complexes et les techniques associées en assurant la résolution efficace.

Apprentissage automatique : apprentissage symbolique, numérique et statistique permettant d’extraire automatiquement de masses de données des descriptions utiles et exploitables.

Traitement automatique des langues (TAL) : formalisation, création d’outils et exploitation de ressources langagières au service du traitement de phénomènes linguistiques.

-GAMoC : Graphes, Algorithmes et Modèles de Calcul : L’équipe GAMoC traite de questions d’algorithmique, de combinatoire, de calculabilité et de complexité sur des structures discrètes, que ce soient des graphes, des automates ou des pavages. L’équipe est structurée autour de trois thèmes de recherche principaux :

algorithmiques exactes et paramétrées pour la résolution de problèmes NP-difficiles

combinatoire des graphes

nouveaux modèles de calcul et de complexité

Ainsi qu’un thème transverse graphes d’automates et calcul distribué développé ces cinq dernières années sur une problématique combinant, entre autres, graphes et automates cellulaires.

-LMV : Langages, Modèles et Vérification : L’objectif de l’équipe LMV est de contribuer à l’amélioration de la compréhension des problèmes de sureté des systèmes informatiques. Des langages de programmation usuels aux systèmes de réécriture, les membres de l’équipes travaillent sur ces questions à différents niveaux d’abstraction et selon différents points de vue tout en cherchant à comprendre les relations fondamentales entre ces différentes approches. L’équipe est structurée autour de deux axes :

Le premier axe s’intéresse au développement de techniques liées aussi bien à la vérification de propriétés spécifiques qu’à la satisfaction de propriété fonctionnelle quelconques. Dans les deux cas les propriétés peuvent être assurées par construction ou a posteriori (vérification déductive).

Le second axe repose sur l’étude de techniques à base de systèmes de réécriture comme par exemple les problèmes d’accessibilités dans les systèmes de réécriture. – Pamda : La nouvelle équipe Pamda rassemble des chercheurs des domaines du parallélisme, du calcul distribué et des bases de données dont l’intérêt commun par la consultation, manipulation, gestion efficace et cohérente de grandes masses de données et par le calcul scientifique conduit à la construction d’un projet commun, autour duquel les perspectives de chaque domaine sont orientées actuellement.

– SDS : Sécurité des Données et des Systèmes : L’équipe Sécurité des Données et des Systèmes travaille dans le domaine de la sécurité informatique au sens large. L’étude de la sécurité informatique présente deux facettes : l’attaque, qui cherche à déceler les failles des systèmes ou des protocoles, et la protection, qui peut se décliner en mécanismes de détection, de dissuasion, de prévention ou curatifs.

Quatre axes de recherche principaux sont développés par l’équipe:

Le contrôle d’accès et le contrôle d’usage

Les modèles d’attaque sur les données et les algorithmes

Les approche formelles de la sécurité et de la vie privée

Les applications pluridisciplinaires de la sécurité informatique »