Dor Minzer est un chercheur en informatique théorique, professeur assistant au MIT. Il est lauréat du prix Presburger en 2022 pour sa contribution à la résolution de la conjecture des jeux 2-2.
Biographie Dor Minzer a obtenu son baccalauréat universitaire en mathématiques en 2014 et un Phd en 2018 à l'université de Tel Aviv sous la direction de Shmuel Safra (titre de la thèse : Topics in Boolean Functions and Complexity Theory).. Il est ensuite chercheur postdoctoral à l'Institute for Advanced Study à Princeton. Depuis , il est professeur assistant au Massachusetts Institute of Technology.
Recherche Dor Minzer travaille dans les domaines des mathématiques et de l'informatique théorique. Ses intérêts concernent la théorie de la complexité, et notamment les preuves vérifiables de manière probabiliste, l'analyse des fonctions booléennes et la combinatoire. Dor Minzer est l'un des auteurs de la preuve de la conjecture des jeux 2 à 2, une variante faible de la conjecture des jeux uniques.. Les communications contenant la preuve sont :
. . . .
Dor Minzer travaille également dans des domaines tels que les tests de propriété, la complexité de l'information, l'invariance et l'isopérimétrie, la sensibilité au bruit ou les fonctions booléennes.
Prix Dor Minzer a obtenu une bourse Sloan en 2021. Il est lauréat prix Presburger en 2022 pour sa contribution à la résolution de la conjecture des jeux 2-2.
Références
Liens externes .
Catégorie:Personnalité en informatique théorique Catégorie:Professeur au Massachusetts Institute of Technology Catégorie:Étudiant de l'université de Tel Aviv