Динур, Ирит
Ири́т Дину́р (ивр. אירית דינור;) — израильский учёный в области информатики, профессор кафедры информатики Института Вейцмана[1]. В 2024 году была назначена постоянным членом факультета школы математики Института перспективных исследований[2]. Её исследования посвящены фундаментальным вопросам информатики и комбинаторики, в особенности вероятностно проверяемым доказательствам и трудности аппроксимации[3].
Общие сведения
| Динур, Ирит | |
|---|---|
| Irit Dinur | |
| Имя при рождении | אירית דינור |
| Дата рождения | 4 марта 1973 (53 года) |
| Страна | |
| Научная сфера | информатика, теория вычислительной сложности |
| Место работы |
Институт Вейцмана Институт перспективных исследований |
| Образование | PhD Тель-Авивский университет |
| Учёная степень | доктор философии |
| Научный руководитель | Шмуэль Сафра |
| Награды и премии |
Премия Гёделя (2019) Премия Эрдёша (2012) Премия Париcа Канеллакиса (2021) |
| Сайт | wisdom.weizmann.ac.il/~d… |
Биография
Ирит Динур получила степень доктора философии в 2002 году в школе информатики Тель-Авивского университета под руководством Шмуэля Сафры; тема её диссертации — «On the Hardness of Approximating the Minimum Vertex Cover and The Closest Vector in a Lattice» («О трудности аппроксимации минимального вершинного покрытия и ближайшего вектора в решётке»)[4]. После стажировок в Институте перспективных исследований в Принстоне, NEC и Калифорнийском университете в Беркли присоединилась к Институту Вейцмана.
В 2006 году Динур опубликовала новое доказательство теоремы PCP, значительно более простое по сравнению с предыдущими доказательствами этого результата[5].
Научная деятельность
Основные научные интересы Ирит Динур лежат в области теории вычислительной сложности, комбинаторики, вероятностно проверяемых доказательств и трудности аппроксимации. Её работа по теореме PCP привела к значительному упрощению доказательства этого фундаментального результата, что оказало влияние на развитие теории сложности вычислений и аппроксимационных алгоритмов.
Награды и отличия
- 2007 — Премия Михаэля Бруно в области информатики от фонда Яд Ханадив[6]
- 2010 — пленарный докладчик на Международном конгрессе математиков[7]
- 2012 — Премия Анны и Лайоша Эрдёша по математике, присуждённая Израильским математическим обществом[8]
- 2012—2013 — стипендиат имени Уильяма Бентинка-Смита в Гарвардском университете[9]
- 2019 — Премия Гёделя за статью «The PCP theorem by gap amplification»[10]
- 2021 — Премия Париcа Канеллакиса