Ирит Динур
Перейти к навигации
Перейти к поиску
Ирит Динур (англ. 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 году — лауреат Премии Эрдёша.
Является профессором компьютерных наук в институте Вейцмана.
Исследования по информатике и комбинаторике.
Примечания[править]
- ↑ Irit Dinur // Английская Википедия
- ↑ Irit Dinur The PCP theorem by gap amplification // Journal of the ACM. — 2007. — Т. 54, вып. 3. — С. 70—122.