Irit Dinur

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

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
  • (en) Irit Dinur, « The PCP theorem by gap amplification », Journal of the ACM, vol. 54, no 3,‎ , p. 12

Liens externes

Notes et références
  1. Voir la section students de la page : « Shmuel Safra Homepage », sur le site de l'Université de Tel-Aviv.
  2. Page du prix Godel 2009, détaillant les apports du produit zig-zag de graphes dont la preuve de Dinur.
  3. « Prizes: STOC Best Paper Award », sur ACM SIGACT.
  4. « 2019 Gödel Prize », sur EATCS (consulté le ).
  5. « Erdős Prize in Mathematics : Prize Recipients », sur Israel Mathematical Union.
  • icône décorative Portail de l'informatique théorique
  • icône décorative Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.