Mark Braverman (mathématicien)
Modèle:Homon Modèle:Infobox Biographie2 Mark Braverman, né en 1984 à Perm en Russie, est un informaticien et mathématicien israélien.
Biographie
Mark Braverman, né en 1984 à Perm en Russie. Il obtient un Ph.D. à l'université de Toronto en 2008[1] sous la direction de Stephen Cook (titre de la thèse : Modèle:Citation étrangère). Il est ensuite postdoc à Microsoft Research, et professeur assistant au département de mathématiques et informatique à l’université de Toronto. Depuis 2011, il est professeur à l'université de Princeton depuis 2011 et travaille en informatique théorique[2].
Travaux
Braverman travaille en théorie de la complexité, algorithmique, théorie des jeux, apprentissage automatique et applications de l'informatique en santé et en médecine. Il a établi de nouveaux liens entre la théorie de l'information et la théorie de la complexité, étudiant les effets du bruit dans divers contextes informatiques et étudiant comment de meilleurs algorithmes peuvent mener à une meilleure conception des mécanismes, particulièrement dans le contexte des soins de santé.
Braverman a travaillé sur les notions de calculabilité et de complexité impliquant à la fois des systèmes continus et discrets. En particulier, dans un travail avec Michael Yampolsky[3]Modèle:, [4], il a utilisé des techniques d'analyse et de dynamique pour classer les ensembles de Julia selon leur calculabilité et leur complexité. Pour les problèmes discrets, Braverman a utilisé la théorie de l'information de Shannon pour étudier la capacité de programmes linéaires à approximer les problèmes NP-complets[5]. Il a également prouvé la conjecture de Linial-Nisan[6], et réfuté, avec des collaborateurs, une vieille conjecture de Krivine[7] concernant la constante de Grothendieck[8]Modèle:,[9].
Braverman est auteur avec Michael Yampolsky, d'une monographie Computability of Julia Sets[10]
Prix et récompenses
- Prix Stephen-Smale en 2014, « pour ses travaux pionniers sur les fondements des mathématiques computationnelles »[7].
- Prix de la Société mathématique européenne en 2016[11].
- Prix Presburger en 2016[12].
- IMU Abacus Médaille en 2022 (auparavant Nevanlinna Prize).
Notes et références
Liens externes
- Page personnelle à Princeton
Modèle:Liens Modèle:Palette Modèle:Portail
- ↑ Modèle:MathGenealogy.
- ↑ Modèle:Lien web.
- ↑ Modèle:Article
- ↑ Modèle:Article
- ↑ Modèle:Article.
- ↑ Modèle:Article.
- ↑ 7,0 et 7,1 Laudatio du prix Smale 2014.
- ↑ Modèle:Article
- ↑ Modèle:Article
- ↑ Modèle:Ouvrage.
- ↑ Lauréats du Modèle:7e prix de la Société mathématique européenne.
- ↑ Laudatio du prix Presburger 2016.