Ирит Динур | |
---|---|
אירית דינור | |
Альма-матер | Доктор философии Тель-Авивского университета |
Награды |
|
Научная карьера | |
Поля | Информатика , Теория сложности |
Учреждения | Институт Вейцмана Институт перспективных исследований |
Тезис | (2001) |
научный руководитель | Шмуэль Сафра |
Веб-сайт | www.wisdom.weizmann.ac.il/~dinuri/ |
Ирит Динур ( иврит : אירית דינור) — израильский учёный-компьютерщик. Она является профессором компьютерных наук в Институте Вейцмана . [1] В 2024 году она была назначена постоянным преподавателем в Школе математики Института перспективных исследований . [2] Её исследования посвящены основам компьютерных наук и комбинаторике , и особенно вероятностно проверяемым доказательствам и твёрдости аппроксимации . [3]
Ирит Динур получила докторскую степень в 2002 году в школе компьютерных наук Тель-Авивского университета под руководством Шмуэля Сафры ; ее диссертация называлась « О сложности аппроксимации минимального вершинного покрытия и ближайшего вектора в решетке» . [4] Она присоединилась к Институту Вейцмана после посещения Института перспективных исследований в Принстоне, штат Нью-Джерси , NEC и Калифорнийского университета в Беркли .
В 2006 году Динур опубликовал новое доказательство теоремы PCP , которое было значительно проще предыдущих доказательств того же результата. [5]
В 2007 году Яд Ханадив вручил ей Мемориальную премию Майкла Бруно в области компьютерных наук . [6] Она была пленарным докладчиком на Международном конгрессе математиков 2010 года . [7] В 2012 году она выиграла Премию Анны и Лайоша Эрдёша по математике , присуждаемую Израильским математическим союзом . [8] Она была стипендиатом Уильяма Бентинка-Смита в Гарвардском университете в 2012–2013 годах. [9] В 2019 году она выиграла Премию Гёделя за свою работу «Теорема PCP по расширению зазора». [10]