Ирит Динур

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Ирит Динур

אירית דינור
Иритдинур.jpg












Ирит Динур (англ. Irit Dinur, ивр. אירית דינור) — израильский математик и информатик[1].

Биография[править]

В 2002 году защитила докторантуру факультета компьютерных наук в Университете Тель-Авива под руководством Шмуэля Сафра на тему «On the Hardness of Approximating the Minimum Vertex Cover and The Closest Vector in a Lattice».

В 2005 году обнаружила наиболее простое доказательство теоремы PCP (probabilistically checkable proofs — вероятностно проверяемое доказательство), используя экспандеры[2].

В 2012 году — лауреат Премии Эрдёша.

Является профессором компьютерных наук в институте Вейцмана.

Исследования по информатике и комбинаторике.

Примечания[править]

  1. Irit Dinur // Английская Википедия
  2. Irit Dinur The PCP theorem by gap amplification // Journal of the ACM. — 2007. — Т. 54, вып. 3. — С. 70—122.