Boaz Barak

Boaz Barak (בועז ברק, ur. 1974) to izraelsko-amerykański profesor informatyki na Uniwersytecie Harvarda .

Wczesne życie i edukacja

Studia ukończył w 1999 roku z tytułem licencjata. z matematyki i informatyki na Uniwersytecie w Tel Awiwie . W 2004 roku uzyskał stopień doktora. z Instytutu Nauki Weizmanna z rozprawą Non-Black-Box Techniques in Cryptography pod kierunkiem Odeda Goldreicha . Barak pracował w Institute for Advanced Study przez dwa lata od 2003 do 2005. Był adiunktem na wydziale informatyki Uniwersytetu Princeton w latach 2005-2010 oraz profesorem nadzwyczajnym w latach 2010-2011. W latach 2010-2016 był badacz w laboratorium badawczym Microsoftu w Nowej Anglii. Od 2016 roku jest profesorem informatyki Gordona McKaya w Szkole Inżynierii i Nauk Stosowanych im. Johna A. Paulsona na Uniwersytecie Harvarda . Jest obywatelem Izraela i Stanów Zjednoczonych .

Kariera

Był współautorem, wraz z Sanjeevem Arora , Computational Complexity: A Modern Approach , opublikowanej przez Cambridge University Press w 2009 roku. Barak napisał również obszerne notatki z Davidem Steurerem na temat algorytmu sumy kwadratów i od czasu do czasu bloguje na blogu Windows on Theory . W 2013 roku on, Robert J. Goldston i Alexander Glaser pracowali nad zaprojektowaniem systemu „zero wiedzy”, aby zweryfikować, czy głowice bojowe przeznaczone do rozbrojenia są rzeczywiście tym, za co się podają. Kierując wysokoenergetyczne neutrony do badanej głowicy i porównując rozkład przechodzący z rozkładem, który przeszedł przez znaną głowicę, inspektorzy mogą ustalić, czy rozbrojona głowica jest autentyczna, czy też podstępem mającym na celu obejście wymagań traktatowych, bez wycieku energii jądrowej tajniki. Za tę pracę został wybrany do wydania „Foreign Policy ” Top 100 Global Thinkers w 2014 roku.

W 2014 roku Barak był zaproszonym prelegentem na Międzynarodowym Kongresie Matematyki w Seulu . Wraz z Markiem Bravermanem , Xi Chenem i Anupem Rao zdobył nagrodę SIAM Outstanding Paper Prize 2016 za artykuł „How to Compress Interactive Communication”. Został wybrany do klasy 2022 ACM Fellows „za wkład w informatykę teoretyczną, w szczególności w kryptografię i złożoność obliczeniową, oraz za zasługi dla społeczności teoretycznej”.

Patenty

• Patent USA 7 003 677, „Metoda działania proaktywnie zabezpieczonych aplikacji w niezabezpieczonym systemie” z Amirem Herzbergiem, Dalitem Naorem i Eldadem Shai z IBM Haifa Research Lab. Złożony w listopadzie 1999 r., przyznany w lutym 2006 r.

Linki zewnętrzne

• „Wybrane publikacje (z dostępnymi wersjami elektronicznymi)” . boazbarak.org .
• „O możliwości teorii złożoności opartej na instancjach - Boaz Barak” . YouTube . Instytut Studiów Zaawansowanych. 15 kwietnia 2019 r.
• „Boaz Barak: kryptografia, złożoność obliczeń, algorytmy” . YouTube . 1 listopada 2017 r.
• „O istnieniu optymalnych algorytmów” . YouTube . Instytut Simonsa. 1 października 2015 r.
• „ICM 2014 VideoSeries IL14.1: Boaz Barak w dniu 14 sierpnia, czwartek (dowody sumy kwadratów i poszukiwanie optymalnych algorytmów)” . YouTube . Seul ICM VOD. 18 sierpnia 2014 r.
• Mohan, Geoffrey (26 czerwca 2014). „Łączenie fizyki i kryptografii w celu rozwiązania paradoksu inspekcji jądrowej” . Los Angeles Times .
• „Zakłócony świat: czołowi globalni myśliciele 2014” . Polityka zagraniczna . Zarchiwizowane od oryginału w dniu 1 stycznia 2015 r . Źródło 1 października 2020 r .