Тали Кауфман

Тали Кауфман

Место рождения

Израиль?

Научный руководитель

Нога Алон, Дана Рон Голдрейх, Михаил Кривелевич

учёный

Тали Кауфман (англ. Tali Kaufman, ивр. טלי קאופמן) — израильский теоретик в области компьютерных наук, чьи исследования включают тестирование свойств, графы-расширители, теорию кодирования и рандомизированные алгоритмы с сублинейной временной сложностью. Она является профессором компьютерных наук в Университете Бар-Илан, а также сотрудником Израильского института перспективных исследований (ранее, в 2010 году он работал в Массачусетском технологическом институте и Институте перспективных исследований, а в 2010 году — в Институте Вейцмана).

Биография

Защитила докторскую диссертацию в Тель-Авивском университете в 2005 году на тему «Проверка свойств графов и кодов» под совместным руководством Ноги Алона, Михаила Кривелевича и Даны Рон.

До того как занять должность в Университете Бар-Илан, она была постдоком в Массачусетском технологическом институте, Институте перспективных исследований и Научном институте Вейцмана.

В 2022 году была приглашенным докладчиком на онлайн-Международном конгрессе математиков.

Области исследований: проверка свойств, графы-экспандеры, теория кодирования, рандомизированные алгоритмы. Ее научные интересы включают коды с коррекцией ошибок и многомерные экспандеры (аналоги экспандерных графов), рандомизацию в информатике и сублинейные алгоритмы, теорию сложности, теорию графов и (аддитивную) комбинаторику. Вместе с Александром Любоцким и Давидом Кажданом она решила задачу Михаила Леонидовича Громова о построении многомерных экспандеров ограниченной степени для двух измерений, а в 2015 году вместе с Шаем Эвра она решила задачу для произвольных измерений.

Труды

• Kaufman, Tali; Krivelevich, Michael; Ron, Dana (2004), "Tight bounds for testing bipartiteness in general graphs", SIAM Journal on Computing, 33 (6): 1441–1483.
• Alon, Noga; Kaufman, Tali; Krivelevich, Michael; Litsyn, Simon; Ron, Dana (2005), "Testing Reed–Muller codes", IEEE Transactions on Information Theory, 51 (11): 4032–4039.
• Kaufman, Tali; Ron, Dana (2006), "Testing polynomials over general fields", SIAM Journal on Computing, 36 (3): 779–802.
• Kaufman, Tali; Sudan, Madhu (2008), "Algebraic property testing: the role of invariance", in Dwork, Cynthia (ed.), Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, Association for Computing Machinery, pp. 403–412.
• Dinur, Irit; Kaufman, Tali (2017), "High dimensional expanders imply agreement expanders", in Umans, Chris (ed.), 58th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2017, Berkeley, CA, USA, October 15-17, 2017, IEEE Computer Society, pp. 974–985.
• Evra, Shai; Kaufman, Tali; Zémor, Gilles (June 2022), "Decodable quantum LDPC codes beyond the n {\displaystyle {\sqrt {n}}} distance barrier using high-dimensional expanders", SIAM Journal on Computing.