Adrien TaylorChargé de recherche Inria
Adrien Taylor est chargé de recherche au centre Inria de Paris, dans l’équipe-projet Sierra (jointe entre Inria, l’Ecole normale supérieure de Paris et le CNRS
CASPER (Systematic and computer-aided performance certification for numerical optimization)
L'optimisation numérique est un outil central en mathématiques appliquées. De part ses nombreuses applications, il est essentiel de pouvoir faire confiance aux algorithmes numériques développés et utilisés en pratique dans ce contexte (notamment en termes de convergence et de temps d’exécution). Malheureusement, les garanties théoriques entourant ces algorithmes sont souvent peu intuitives (par exemple : de longues listes d'inégalités), techniques (particulièrement sujettes aux erreurs), peu réalistes, et peu accessibles aux non-expertes et non-experts. Pourtant, elles ressemblent toutes et font appels à des concepts similaires.
Le projet CASPER vise d’une part une meilleure compréhension des structures fines des preuves apparaissant dans l’analyse et la création d’algorithmes d’optimisation numérique, et d’autre part à l’utilisation de cette compréhension pour systématiser (notamment via des analyses et preuves assistées par ordinateurs) nos manières de certifier et de créer des algorithmes.
Découvrez en plus avec l'article « Vers des algorithmes d’optimisation à la fiabilité garantie », publié par Inria.