ボアズ・バラク

ボアズ・バラク
ボアズ・バラク
生まれる	1974年（49～50歳）
国籍	アメリカ人、イスラエル人
職業	コンピュータサイエンスの教授
知られている	ハーバード大学コンピュータサイエンス教授
学歴
教育	数学とコンピュータサイエンスの学士号、博士号。
母校	ワイツマン科学研究所
論文	暗号化における非ブラックボックス技術

ボアズ・バラク（ヘブライ語：בועז ברק、1974年生まれ）は、ハーバード大学のコンピュータサイエンスの教授であるイスラエル系アメリカ人である。^[1]

幼少期と教育

1999年にテルアビブ大学で数学とコンピュータサイエンスの理学士号を取得。^[2] 2004年にワイツマン科学研究所でオデッド・ゴールドライヒの指導の下、 「暗号化における非ブラックボックス技術」という論文で博士号を取得。^{[3]バラクは2003年から2005年までの2年間}、同研究所に在籍。 2005年から2010年までプリンストン大学のコンピュータサイエンス学部の助教授、2010年から2011年まで准教授。2010年から2016年まで、マイクロソフトのニューイングランド研究所の研究員。2016年より、ハーバード大学ジョン・A・ポールソン工学応用科学大学院のゴードン・マッケイ・コンピュータサイエンス教授。イスラエルと米国の両国籍を持つ。^[2]

キャリア

彼はサンジーヴ・アローラと共著で、2009年にケンブリッジ大学出版局から出版された『計算複雑性：現代的アプローチ』を執筆した。 ^[4]また、デイヴィッド・シュテューラーと二乗和アルゴリズムに関する詳細なメモを書き、時折Windows on Theoryブログに記事を投稿している。^[2] 2013年、彼はロバート・J・ゴールドストン、アレクサンダー・グレイザーとともに、軍縮対象とされた弾頭が実際にその名目通りのものであるかを検証するための「ゼロ知識」システムの設計に取り組んだ。高エネルギー中性子を調査対象の弾頭に向け、通過した分布を既知の弾頭を通過した分布と比較することで、検査官は核の秘密を漏らすことなく、軍縮対象の弾頭が本物か、条約の要件を回避するための策略かを判断することができる。^{[5]この研究により、彼は}フォーリン・ポリシー誌の2014年版「世界の思想家トップ100」に選ばれた。^[6]

2014年、バラクはソウルで開催された国際数学会議に招待講演した。マーク・ブレイバーマン、シー・チェン、アヌップ・ラオとともに、論文「インタラクティブコミュニケーションの圧縮方法」で2016年のSIAM優秀論文賞を受賞した。 ^[2]^[7]彼は「暗号と計算複雑性を中心とした理論計算機科学への貢献と理論コミュニティへの貢献」により、2022年度のACMフェローに指名された。^[8]

特許

米国特許 7,003,677、「安全でないシステム上でプロアクティブに保護されたアプリケーションを動作させる方法」、IBM ハイファ研究所の Amir Herzberg、Dalit Naor、Eldad Shai との共著。1999 年 11 月に出願、2006 年 2 月に付与。

参考文献

^ “ボアズ・バラク、ホームページ”.ボアズバラク。
^ abcd 「ボアズ・バラク — 履歴書」(PDF)。
^ 数学系譜プロジェクトのボアズ・バラク
^ アローラ、サンジーヴ、バラク、ボアズ（2009年4月20日）。計算複雑性：現代的アプローチ。ケンブリッジ大学出版局。ISBN 978-0-521-42426-4。
^ モハン 2014年。
^ フォーリンポリシー 2014年。
^ Barak, Boaz; Braverman, Mark; Chen, Xi; Rao, Anup (2013). 「インタラクティブ通信を圧縮する方法」。SIAM Journal on Computing . 42 (3): 1327–1363. doi :10.1137/100811969. ISSN 0097-5397. S2CID 29873040.
^ 「世界コンピューティング協会が、今日のテクノロジーを推進する優れた貢献をした57人のフェローを任命」。Association for Computing Machinery。2023年1月18日。 2023年1月18日閲覧。

外部リンク

「厳選された出版物（電子版あり）」boazbarak.org。
「インスタンスベースの複雑性理論の可能性について - Boaz Barak」。YouTube。高等研究所。2019年4月15日。
「Boaz Barak: 暗号化、計算の複雑さ、アルゴリズム」。YouTube。2017年11 月 1 日。
「最適アルゴリズムの存在について」。YouTube。サイモンズ研究所。2015 年 10 月 1 日。
「ICM 2014 ビデオシリーズ IL14.1: Boaz Barak on Aug14Thu (Sum-of-squares proofs and the quest toward optimize algorithms)」。YouTube。ソウル ICM VOD。2014 年 8 月 18 日。
モハン、ジェフリー (2014 年 6 月 26 日)。「物理学と暗号を融合して核査察のパラドックスを解決する」ロサンゼルスタイムズ。
「混乱する世界：2014年を代表するグローバル思想家」。Foreign Policy。2015年1月1日時点のオリジナルよりアーカイブ。2020年10月1日閲覧。

[1] “ボアズ・バラク、ホームページ”.ボアズバラク。

[CV-2] 「ボアズ・バラク — 履歴書」(PDF)。

[3] 数学系譜プロジェクトのボアズ・バラク

[4] アローラ、サンジーヴ、バラク、ボアズ（2009年4月20日）。計算複雑性：現代的アプローチ。ケンブリッジ大学出版局。ISBN 978-0-521-42426-4。

[FOOTNOTEMohan2014-5] モハン 2014年。

[FOOTNOTEForeign_Policy_2014-6] フォーリンポリシー 2014年。

[7] Barak, Boaz; Braverman, Mark; Chen, Xi; Rao, Anup (2013). 「インタラクティブ通信を圧縮する方法」。SIAM Journal on Computing . 42 (3): 1327–1363. doi :10.1137/100811969. ISSN 0097-5397. S2CID 29873040.

[8] 「世界コンピューティング協会が、今日のテクノロジーを推進する優れた貢献をした57人のフェローを任命」。Association for Computing Machinery。2023年1月18日。 2023年1月18日閲覧。