stringtranslate.com

Боаз Барак

Боаз Барак ( ивр . בועז ברק, родился в 1974 году) — израильско-американский профессор компьютерных наук в Гарвардском университете . [1]

Ранняя жизнь и образование

Он окончил Тель-Авивский университет в 1999 году со степенью бакалавра наук по математике и информатике . [2] В 2004 году он получил докторскую степень в Институте Вейцмана , защитив диссертацию «Нечерно-ящики в криптографии» под руководством Одеда Голдрайха . [3] Барак работал в Институте перспективных исследований в течение двух лет с 2003 по 2005 год. Он был доцентом на кафедре компьютерных наук Принстонского университета с 2005 по 2010 год и доцентом с 2010 по 2011 год. С 2010 по 2016 год он был исследователем в исследовательской лаборатории Microsoft в Новой Англии. С 2016 года он является профессором компьютерных наук имени Гордона Маккея в Гарвардской школе инженерии и прикладных наук имени Джона А. Полсона . Он является гражданином Израиля и Соединенных Штатов . [2]

Карьера

Он был соавтором, совместно с Сандживом Аророй , Computational Complexity: A Modern Approach , опубликованной Cambridge University Press в 2009 году. [4] Барак также написал обширные заметки с Дэвидом Стерером по алгоритму суммы квадратов и время от времени ведет блог в блоге Windows on Theory . [2] В 2013 году он, Роберт Дж. Голдстон и Александр Глейзер работали над разработкой системы «нулевого разглашения» для проверки того, что боеголовки, предназначенные для разоружения, на самом деле являются тем, чем они должны быть. Направляя высокоэнергетические нейтроны в исследуемую боеголовку и сравнивая проходящее распределение с распределением, которое прошло через известную боеголовку, инспекторы могут определить, является ли разоруженная боеголовка подлинной или это уловка, разработанная для обхода требований договора, без утечки ядерных секретов. [5] За эту работу он был выбран для выпуска журнала Foreign Policy « 100 лучших мировых мыслителей» за 2014 год. [6]

В 2014 году Барак был приглашенным докладчиком на Международном математическом конгрессе в Сеуле . Вместе с Марком Брейверманом , Си Ченом и Ануп Рао он выиграл премию SIAM Outstanding Paper Prize 2016 за статью «Как сжать интерактивную коммуникацию». [2] [7] Он был включен в класс ACM Fellows 2022 года «за вклад в теоретическую информатику, в частности криптографию и вычислительную сложность, а также за службу сообществу теоретиков». [8]

Патенты

Ссылки

  1. ^ "Боаз Барак, домашняя страница" . Боазбарак .
  2. ^ abcd «Воаз Барак — Биографическая справка» (PDF) .
  3. ^ Боаз Барак в проекте «Генеалогия математики»
  4. ^ Арора, Санджив; Барак, Боаз (20 апреля 2009 г.). Computational Complexity: A Modern Approach. Cambridge University Press. ISBN 978-0-521-42426-4.
  5. ^ Мохан 2014.
  6. ^ Внешняя политика 2014.
  7. ^ Барак, Боаз; Браверман, Марк; Чэнь, Си; Рао, Ануп (2013). «Как сжать интерактивную коммуникацию». SIAM Journal on Computing . 42 (3): 1327–1363. doi :10.1137/100811969. ISSN  0097-5397. S2CID  29873040.
  8. ^ "Глобальная вычислительная ассоциация называет 57 стипендиатов за выдающийся вклад, который двигает вперед современные технологии". Ассоциация вычислительной техники. 18 января 2023 г. Получено 18 января 2023 г.

Внешние ссылки