Вооз Варак - Boaz Barak
Боаз Барак (בועז ברק, 1974 г.р.) - израильско-американский профессор информатики в Гарвардском университете .
Он получил высшее образование в 1999 году со степенью бакалавра наук. по математике и информатике в Тель-Авивском университете . В 2004 году получил докторскую степень. из Института науки Вейцмана с диссертацией « Методы не-черного ящика в криптографии» под руководством Одеда Гольдрайха . Барак проработал в Институте перспективных исследований два года с 2003 по 2005 год. Он был доцентом кафедры информатики Принстонского университета с 2005 по 2010 год и доцентом с 2010 по 2011 год. С 2010 по 2016 год он был исследователем. в исследовательской лаборатории Microsoft в Новой Англии. С 2016 года он является профессором компьютерных наук Гордона Маккея в Гарвардской школе инженерии и прикладных наук Джона А. Полсона . Он является гражданином как Израиля, Израиля, так и Соединенных Штатов Америки.
Он в соавторстве с Санджив Арора , вычислительной сложности: современный подход , опубликованной Cambridge University Press в 2009 году Барак также написал с Дэвидом Steurer обширные заметки на сумму квадратов алгоритм и иногда блоги на Windows , по теории блога. В 2013 году он, Роберт Дж. Голдстон и Александр Глейзер работали над созданием системы «с нулевым разглашением», чтобы проверить, действительно ли боеголовки, предназначенные для разоружения, являются тем, чем они претендуют. Направляя нейтроны высоких энергий в исследуемую боеголовку и сравнивая проходящее распределение с распределением, прошедшим через известную боеголовку, инспекторы могут определить, является ли обезвреживаемая боеголовка подлинной или уловкой, предназначенной для уклонения от требований договора, без утечки ядерной энергии. секреты. За эту работу он был выбран для внешней политики ' s Top 100 Global мыслителей выпуска в 2014 году.
В 2014 году Барак был приглашенным спикером на Международном математическом конгрессе в Сеуле . Вместе с Марком Браверманом , Си Ченом и Ануп Рао он выиграл премию SIAM Outstanding Paper 2016 за работу «Как сжать интерактивное общение».
Патенты
- Патент США 7 003 677, «Метод работы с проактивно защищенными приложениями в незащищенной системе», подписанный Амиром Херцбергом, Далитом Наором и Эльдадом Шаем из IBM Haifa Research Lab. Подана в ноябре 1999 г., предоставлена в феврале 2006 г.
использованная литература
- ^ "Вооз Варак, домашняя страница" . боазбарак .
- ^ a b c d "Боаз Барак - Биографическая справка" (PDF) .
- ↑ Боаз Барак в проекте « Математическая генеалогия»
- ^ Арора, Санджив; Варак, Вооз (20 апреля 2009 г.). Вычислительная сложность: современный подход . Издательство Кембриджского университета. ISBN 978-0-521-42426-4.
- ^ Мохан 2014 .
- ^ Внешняя политика 2014 .
- ↑ Варак, Вооз; Браверман, Марк; Чен, Си; Рао, Ануп (2013). «Как сжать интерактивное общение». SIAM Journal on Computing . 42 (3): 1327–1363. DOI : 10.1137 / 100811969 . ISSN 0097-5397 .
внешние ссылки
- «Избранные публикации (есть электронные версии)» . boazbarak.org .
- «О возможности инстанционной теории сложности - Боаз Барак» . YouTube . Институт перспективных исследований. 15 апреля 2019.
- «Боаз Барак: криптография, вычислительная сложность, алгоритмы» . YouTube . 1 ноября 2017 г.
- «О существовании оптимальных алгоритмов» . YouTube . Институт Саймонса. 1 октября 2015 г.
- «ICM 2014 VideoSeries IL14.1: Боаз Барак, 14 августа, четверг (доказательство суммы квадратов и поиск оптимальных алгоритмов)» . YouTube . Сеул ICM VOD. 18 августа 2014 г.
- Мохан, Джеффри (26 июня 2014 г.). «Объединение физики и криптографии для решения парадокса ядерной инспекции» . Лос-Анджелес Таймс .
- «Разрушенный мир: ведущие мировые мыслители 2014 года» . Внешняя политика . Архивировано из оригинала на 1 января 2015 года . Дата обращения 1 октября 2020 .