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