Боаз Варак - Википедия - Boaz Barak

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

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

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

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

Патенты

  • Патент США 7 003 677, «Метод работы с проактивно защищенными приложениями в незащищенной системе», подписанный Амиром Херцбергом, Далитом Наором и Эльдадом Шаем из IBM Haifa Research Lab. Подана в ноябре 1999 г., предоставлена ​​в феврале 2006 г.

использованная литература

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

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