Динур, Ирит (:nurj, Njnm)
| Ирит Динур | |
|---|---|
 | |
| Дата рождения | 4 марта 1973 (51 год) |
| Место рождения | |
| Страна | |
| Род деятельности | математик, специалист в области информатики |
| Научная сфера | информатика и комбинаторика |
| Место работы | |
| Альма-матер | |
| Учёная степень | доктор философии |
| Научный руководитель | Shmuel Safra[вд] |
| Награды и премии |
|
| Сайт | wisdom.weizmann.ac.il/~dinuri/ |
 Медиафайлы на Викискладе | |
Ирит Динур ( ивр. אירית דינור ) — израильская учёная-компьютерщик. Профессор компьютерных наук в Институте Вейцмана[1]. В 2024 году была назначена постоянным преподавателем Школы математики Института перспективных исследований [2]. Её исследования посвящены основам компьютерной науки и комбинаторике, в частности, вероятностно проверяемым доказательствам, сложности аппроксимации, многомерным расширителям[1].
Биография
[править | править код]Родилась в Иерусалиме в 1973 году[3]. В 1995 году получила степени бакалавра и магистра в области математики и компьютерных наук (с отличием) в Тель-Авивском университете. Докторскую степень получила в 2001[3] году в Школе компьютерных наук Тель-Авивского университета (руководитель Шмуэль Сафра[англ.]; диссертация «О сложности аппроксимации минимального вершинного покрытия и ближайшего вектора в решетке». Она проводила постдокторские исследования в течение трёх лет ( сначала в Институте перспективных исследований в Принстоне, штат Нью-Джерси, затем в Исследовательском институте NEC в Принстоне и, наконец, в Институте Миллера в Калифорнийском университете в Беркли)[3].
С 2004 по 2007 год преподавала в Еврейском университете в Иерусалиме, с 2007 года— в Институте Вейцмана.
В 2019 году читала лекции Германа Вейля в Институте перспективных исследований в Принстоне и была приглашенным профессором там в 2010—2019 году[3].
В 2006 году Динур опубликовала новое доказательство теоремы PCP, которое было значительно проще предыдущих доказательств [4]. Её исследования касаются высокоразмерного расширения (аналог графов экспандеров, который опирается на теорию групп, топологию и комбинаторику), которое связывает математику и информатику, и, предлагает решения для проблем реального мира (устойчивость к ошибкам, исправление ошибок, вероятностно проверяемые доказательства)[3].
Личная жизнь
[править | править код]Замужем, трое детей[3].
Награды и признание
[править | править код]- 2007 год— исследовательская премия Михаэля Бруно в области компьютерных наук от благотворительного фонда Яд ха-Надив[англ.][5]
- 2010 год—пленарный докладчик на Международном конгрессе математиков
- 2012 год— премия Эрдёша , присуждаемая Израильским математическим союзом[англ.][6]
- 2012–2013 год —стипендия в Гарвардском университете
- 2014— премия Левинсона по математике[3]
- 2018 —премии за выдающиеся достижения в исследованиях Израильского вакуумного общества[3]
- 2019 — премия Гёделя за работу «Теорема PCP путем усиления зазора»[3].
- 2021—премия Хелен и Мартина Киммел за инновационные исследования[3].
- премии PODS Alberto O. Mendelzon Test-of-Time Award, присуждаемой Ассоциацией вычислительной техники за статью, оказавшую наибольшее влияние в течение десятилетия[3].
Примечания
[править | править код]- ↑ 1 2 Irit Dinur (англ.). https://www.wisdom.weizmann.ac.i.
- ↑ Three World-Leading Mathematicians Join IAS Faculty - Press Release | Institute for Advanced Study (июль 2024).
- ↑ 1 2 3 4 5 6 7 8 9 10 11 Prof. Irit Dinur (англ.). https://conferences.weizmann.ac.i (2021).
- ↑ Radhakrishnan, Jaikumar; Sudan, Madhu (2007), "On Dinur's proof of the PCP theorem", Bulletin of the American Mathematical Society, New Series, vol. 44, no. 1, pp. 19—61, doi:10.1090/S0273-0979-06-01143-8, MR 2265009.
- ↑ Michael Bruno Memorial Award recipients Архивировано 12 октября 2018 года., retrieved 2014-06-18.
- ↑ EMS e-News 4, September 2012 Архивировано 12 июня 2013 года., European Mathematical Society, retrieved 2014-06-18.
Внешние ссылки
[править | править код]Лауреаты премии Гёделя | |
|---|---|
1990-е | |
2000-е |
|
2010-е |
|
2020-е | |
 | |
|---|---|
| В библиографических каталогах |