Боаз Барак

редактировать

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

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

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

В 2014 году Барак был приглашенным докладчиком на Международном математическом конгрессе в Сеуле. Он был выбран для выпуска журнала Foreign Policy Top 100 Global Thinkers за 2014 год. Вместе с Марком Браверманом, Си Ченом и Ануп Рао он получил премию SIAM Outstanding Paper Prize 2016 за эту статью. Как «сжать интерактивное общение».

Патенты
  • США Патент 7 003 677 «Метод работы с проактивно защищенными приложениями в незащищенной системе», выданный Амиром Херцбергом, Далитом Наором и Эльдадом Шаем из IBM Haifa Research Lab. Подана в ноябре 1999 г., предоставлена ​​в феврале 2006 г.
Ссылки
  1. ^«Боаз Барак, домашняя страница». боазбарак.
  2. ^ «Боаз Барак - Биографические данные» (PDF).
  3. ^Боаз Барак в Проекте «Математическая генеалогия»
  4. ^Арора, Санджив; Варак, Вооз (20 апреля 2009 г.). Вычислительная сложность: современный подход. Издательство Кембриджского университета. 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.
Внешние ссылки
Последняя правка сделана 2021-05-12 11:58:51
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте