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 CNRS1 ). Ancien étudiant à l’Université catholique de Louvain, et postdoctorant chez Sierra, Adrien étudie l’optimisation numérique et la dynamique des algorithmes qui y sont utilisés. Sa thèse à l’UCLouvain a notamment reçu le prix FNRS-IBM de l’innovation, et a été finaliste du prix Tucker décerné par la société mathématique d’optimisation (MOS). Ses travaux ont également été récompensés par plusieurs prix, notamment pour des articles dans Optimization Letters en 2017 et à la conférence internationale NeurIPS en 2021.
- 1DI ENS - UMR8548
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.