Irit Dinur
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Directeur de thèse | |
Distinctions | Liste détaillée Prix Nessyahu () Prix Michael Bruno (d) () Prix Erdős () Prix Gödel () Prix Paris-Kanellakis () |
Irit Dinur (en hébreu : אירית דינור) est une mathématicienne israélienne, connue pour ses travaux en informatique théorique. Elle est professeure à l'Institut Weizmann.
Carrière universitaire et travaux
[modifier | modifier le code]Irit Dinur a obtenu son doctorat à l'université de Tel-Aviv sous la direction de Shmuel Safra[1].
Ces travaux portent sur les fondations de l'informatique et la combinatoire, en particulier le théorème PCP et la théorie de l'approximation. Elle a entre autres trouvé une preuve combinatoire du thèorème PCP (Dinur 2007), utilisant notamment les graphes expanseurs et le produit zig-zag[2]. Cet article lui a valu le Best Paper Award de la conférence STOC en 2006[3], et le prix Gödel 2019[4].
Elle a reçu le prix Erdős en 2012[5].
Bibliographie
[modifier | modifier le code]- (en) Irit Dinur, « The PCP theorem by gap amplification », Journal of the ACM, vol. 54, no 3, , p. 12
Liens externes
[modifier | modifier le code]
- Ressources relatives à la recherche :
- Page personnelle
- (en) Interview d'Irit Dinur
Notes et références
[modifier | modifier le code]- Voir la section students de la page : « Shmuel Safra Homepage », sur le site de l'Université de Tel-Aviv.
- Page du prix Godel 2009, détaillant les apports du produit zig-zag de graphes dont la preuve de Dinur.
- « Prizes: STOC Best Paper Award », sur ACM SIGACT.
- « 2019 Gödel Prize », sur EATCS (consulté le ).
- « Erdős Prize in Mathematics : Prize Recipients », sur Israel Mathematical Union.