LERIA 2 Boulevard de Lavoisier, 49000 Angers, Maine-et-Loire

Le laboratoire d'étude et de recherche en informatique d'Angers (LERIA) est une unité de recherche de l'Université d'Angers. Situé sur le campus de l'UFR Sciences, le LERIA compte 23 enseignants-chercheurs dont la quasi-totalité enseigne au département informatique, 3 BIATSS et une quinzaine de doctorants, post-doctorants, ATER et ECER. Le LERIA est adossé à l'école doctorale régionale MathSTIC et est rattaché à la structure fédérative de recherche MathSTIC de l'université d'Angers qui regroupe les laboratoires LAREMA et LARIS.

Le thème RIC étudie des approches déclaratives pour la modélisation et la résolution de problèmes contraints, quantifiés ou non : programmation par ensembles-réponses (ASP) pour le raisonnement non-monotone, méthodes de modélisation, conversion et reformulation à base de contraintes (CHR, CSP ensemblistes, SAT), interprétation abstraite et programmation par contraintes.

Le thème MOC fédère les travaux autour des métaheuristiques et des méthodes évolutionnaires pour l'optimisation combinatoire : résolution de problèmes de référence NP-complets, méthodes et stratégies génériques de résolution, apprentissage de structures de problèmes et de composants de résolution, étude des paysages de fitness et analyse approfondie d'algorithmes de résolution.

Le LERIA s'appuie sur un réseau de partenaires académiques et industriels à l'échelle régionale, nationale et internationale (Allemagne, Royaume-Uni, Chine, Chili, Mexique, Canada …) et utilise différents instruments de financement (AAP régionaux, CIFRE, ANR, PHC …). A noter que les chercheurs du LERIA assurent des activités conséquentes de formation à la recherche (master recherche du département informatique, formations doctorales des ED MathSTIC et VENAM), et d'animation de la recherche (GDR IA, CNU 27, PFIA 2020).