Irit Dinur

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Dinur.

Irit Dinur (אירית דינור en hébreu) est une mathématicienne et spécialiste 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].

Bibliographie[modifier | modifier le code]

  • (en) Irit Dinur, « The PCP theorem by gap amplification », Journal of the ACM, vol. 54, no 3,‎ 2007, p. 12

Liens externes[modifier | modifier le code]

Notes et références[modifier | modifier le code]

  1. page de Shmuel Safra, section students
  2. Page du prix Godel 2009, détaillant les apports du produit zig-zag de graphes dont la preuve de Dinur
  3. http://www.sigact.org/Prizes/BestPaper/