Warwick Tucker
dates de séjour
discipline
Fonction d’origine
Institution d’origine
pays d'origine
projet de recherche
Preuves assistées par ordinateur – une approche hiérarchique
L’objectif du projet de recherche est d’associer les techniques du calcul scientifique moderne à la rigueur des mathématiques et de développer une fondation fonctionnelle pour résoudre des problèmes mathématiques avec l’aide d’ordinateurs. Il s’agit de progresser dans l’analyse du domaine des preuves assistées par ordinateur, à partir d’une forte conviction qu’il s’agit du seul moyen de s’emparer de certains problèmes mathématiques très complexes. L’objectif à long terme est de développer une plateforme avec laquelle on peut aborder un problème informatique à tous les (ou l’un des) trois niveaux de rigueur (calcul numérique, calculs validés, preuves formelles). La première étape sera peut-être de commencer par un calcul numérique pour stimuler le comportement d’un système particulier. Une fois qu’un phénomène intéressant aura été observé, il devrait être possible de passer à un calcul validé, incorporant toute discrétisation ou erreurs d’arrondi. L’étape finale sera de vérifier par une preuve formelle que toutes les étapes précédentes étaient valides.
biographie
Warwick Tucker est professeur de mathématiques à l’Université d’Uppsala, Suède. Après avoir soutenu son doctorat dans ces mêmes discipline et université en 1998, en démontrant l’existence de l’attracteur de Lorenz, il a passé deux ans à l’IMPA à Rio de Janeiro, Brésil comme chercheur post-doctoral. De 2000 à 2002, Tucker a été professeur assistant H.C. Wang à Cornell University (Ithaca, USA). Pendant cette période, il a obtenu le prix de la Société suédoise Wallenberg de mathématiques et le prix R.E. Moore pour les applications d’analyse d’intervalles. À son retour en Suède, il a bénéficié d’une bourse de cinq ans de l’Académie royale des sciences. En 2004, il a reçu le prix de la Société mathématique européenne pour ses contributions remarquées à la discipline. En 2007, il a constitué le groupe CAPA à l’Université de Bergen (Norvège). En 2009, ce groupe a déménagé vers son implantation actuelle d’Uppsala où Tucker est élu professeur en 2011, et directeur de son département en 2014.
