« Irit Dinur » : différence entre les versions
Contenu supprimé Contenu ajouté
→Carrière universitaire et travaux : mef lien |
|||
| Ligne 7 : | Ligne 7 : | ||
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'[[algorithme d'approximation|approximation]]. Elle a entre autres trouvé une preuve combinatoire du thèorème PCP {{ Référence Harvard | Dinur |2007 }}, utilisant notamment les [[graphe expanseur|graphes expanseurs]] et le [[produit zig-zag de graphes|produit zig-zag]]<ref>[http://www.eatcs.org/images/awards/2009GodelPrize.pdf Page du prix Godel 2009,] détaillant les apports du produit zig-zag de graphes dont la preuve de Dinur.</ref>. Cet article lui a valu le ''Best Paper Award'' de la conférence [[STOC]] en 2006<ref>{{lien web|url=http://www.sigact.org/Prizes/BestPaper/|titre=Prizes: STOC Best Paper Award|site=ACM SIGACT}}.</ref>. |
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'[[algorithme d'approximation|approximation]]. Elle a entre autres trouvé une preuve combinatoire du thèorème PCP {{ Référence Harvard | Dinur |2007 }}, utilisant notamment les [[graphe expanseur|graphes expanseurs]] et le [[produit zig-zag de graphes|produit zig-zag]]<ref>[http://www.eatcs.org/images/awards/2009GodelPrize.pdf Page du prix Godel 2009,] détaillant les apports du produit zig-zag de graphes dont la preuve de Dinur.</ref>. Cet article lui a valu le ''Best Paper Award'' de la conférence [[STOC]] en 2006<ref>{{lien web|url=http://www.sigact.org/Prizes/BestPaper/|titre=Prizes: STOC Best Paper Award|site=ACM SIGACT}}.</ref>. |
||
Elle a reçu le {{lien|fr=prix Erdős|trad=Erdős Prize}} en 2012<ref>{{lien web|url=http://imu.org.il/Prizes/ErdosPrize/#english|titre=Erdős Prize in Mathematics : Prize Recipients|site=Israel Mathematical Union}}.</ref>. |
|||
== Bibliographie == |
== Bibliographie == |
||
Version du 1 juillet 2015 à 13:55
Pour les articles homonymes, voir Dinur.
Irit Dinur (אירית דינור en hébreu) est une mathématicienne, connue pour ces travaux en informatique théorique. Elle est professeure à l'Institut Weizmann.
Carrière universitaire et travaux
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].
Elle a reçu le prix Erdős en 2012[4].
Bibliographie
- (en) Irit Dinur, « The PCP theorem by gap amplification », Journal of the ACM, vol. 54, no 3, , p. 12
Liens externes
Modèle:Publications informatique
Notes et références
- 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.
- « Erdős Prize in Mathematics : Prize Recipients », sur Israel Mathematical Union.
