Irit Dinur

Irit Dinur (em hebraico: אירית דינור‎) é uma cientista da computação israelense.

Dinur estudou informática na Universidade de Tel Aviv, onde obteve um doutorado orientada por Shmuel Safra. Esteve depois durante um ano no Instituto de Estudos Avançados de Princeton, na NEC Research e um ano como Miller Fellow na Universidade da Califórnia em Berkeley. Foi professora de informática da Universidade Hebraica de Jerusalém sendo atualmente professora do Instituto Weizmann de Ciência.

Em 2005 tornou-se conhecida por uma nova prova do Teorema PCP.[1] O teorema foi originalmente provado na década de 1990 por Sanjeev Arora, Safra e outros.[2]

Foi palestrante plenária do Congresso Internacional de Matemáticos em Hyderabad (2010: Probabilistic checkable proofs and codes). Recebeu o Prêmio Erdős de 2012.

ObrasEditar

  • The PCP Theorem by gap amplification, Technical Report 2005 e Journal of the ACM, Volume 54, 2007, p. 1, Online, pdf

Referências

  1. Jaikumar Radhakrishnan, Madhu Sudan: On Dinur´s Proof of the PCP theorem. In: Bulletin AMS. Volume 44, 2007, p. 19–61
  2. O´Donnel History of the PCP Theorem, pdf

Ligações externasEditar