В четверг, 7 мая, около 16 часов (MSK) регистратор заморозил домен «cyclowiki.org» без уведомления владельцев. Сайт недоступен из большинства стран. Правление изучает возможности решения проблемы.
Ирит Динур
Перейти к навигации
Перейти к поиску
Ирит Динур (англ. 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.