Боаз Барак (בועז ברק, 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]