|
Динур, Ирит
Ирит Динур ( ивр. אירית דינור ) — израильская учёная-компьютерщик. Профессор компьютерных наук в Институте Вейцмана[1]. В 2024 году была назначена постоянным преподавателем Школы математики Института перспективных исследований [2]. Её исследования посвящены основам компьютерной науки и комбинаторике, в частности, вероятностно проверяемым доказательствам, сложности аппроксимации, многомерным расширителям[1]. БиографияРодилась в Иерусалиме в 1973 году[3]. В 1995 году получила степени бакалавра и магистра в области математики и компьютерных наук (с отличием) в Тель-Авивском университете. Докторскую степень получила в 2001[3] году в Школе компьютерных наук Тель-Авивского университета (руководитель Шмуэль Сафра[англ.]; диссертация «О сложности аппроксимации минимального вершинного покрытия и ближайшего вектора в решетке». Она проводила постдокторские исследования в течение трёх лет ( сначала в Институте перспективных исследований в Принстоне, штат Нью-Джерси, затем в Исследовательском институте NEC в Принстоне и, наконец, в Институте Миллера в Калифорнийском университете в Беркли)[3]. С 2004 по 2007 год преподавала в Еврейском университете в Иерусалиме, с 2007 года— в Институте Вейцмана. В 2019 году читала лекции Германа Вейля в Институте перспективных исследований в Принстоне и была приглашенным профессором там в 2010—2019 году[3]. В 2006 году Динур опубликовала новое доказательство теоремы PCP, которое было значительно проще предыдущих доказательств [4]. Её исследования касаются высокоразмерного расширения (аналог графов экспандеров, который опирается на теорию групп, топологию и комбинаторику), которое связывает математику и информатику, и, предлагает решения для проблем реального мира (устойчивость к ошибкам, исправление ошибок, вероятностно проверяемые доказательства)[3]. Личная жизньЗамужем, трое детей[3]. Награды и признание
Примечания
Внешние ссылки
|
||||||||||||||||||||||||||||||||||||||||||
