stringtranslate.com

Боаз Барак

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

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

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

Карьера

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

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

Патенты

Рекомендации

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

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