Boaz Barak

Boaz Barak (בועז ברק, född 1974) är en israelisk-amerikansk professor i datavetenskap vid Harvard University .

tidigt liv och utbildning

Han tog examen 1999 med en B.Sc. i matematik och datavetenskap från Tel Aviv University . 2004 fick han sin doktorsexamen. från Weizmann Institute of Science med avhandlingen Non-Black-Box Techniques in Cryptography under ledning av Oded Goldreich . Barak var vid Institute for Advanced Study i två år från 2003 till 2005. Han var biträdande professor vid datavetenskapsavdelningen vid Princeton University från 2005 till 2010 och docent från 2010 till 2011. Från 2010 till 2016 var han en forskare vid Microsofts forskningslaboratorium i New England. Sedan 2016 är han Gordon McKay professor i datavetenskap vid Harvard John A. Paulson School of Engineering and Applied Sciences . Han är medborgare i både Israel och USA .

Karriär

Han skrev tillsammans med Sanjeev Arora , Computational Complexity: A Modern Approach , publicerad av Cambridge University Press 2009. Barak skrev också omfattande anteckningar med David Steurer om summan av kvadraters algoritm och bloggar ibland på Windows on Theory- bloggen. Under 2013 arbetade han, Robert J. Goldston och Alexander Glaser för att designa ett "noll-kunskap"-system för att verifiera att stridsspetsar avsedda för nedrustning faktiskt är vad de utger sig för att vara. Genom att rikta in högenergineutroner in i stridsspetsen som undersöks och jämföra distributionen som passerade med distributionen som passerade genom en känd stridsspets, kan inspektörer avgöra om en stridsspets som avväpnas är äkta eller en list utformad för att undvika fördragskrav, utan att läcka kärnvapen. hemligheter. För detta arbete valdes han ut till Foreign Policy 's Top 100 Global Thinkers-nummer för 2014.

2014 var Barak en inbjuden talare vid International Congress of Mathematics i Seoul . Med Mark Braverman , Xi Chen och Anup Rao vann han 2016 SIAM Outstanding Paper Prize för tidningen "How to Compress Interactive Communication". Han utsågs till 2022 års klass av ACM Fellows , "för bidrag till teoretisk datavetenskap, i synnerhet kryptografi och beräkningskomplexitet, och service till teorigemenskapen".

Patent

• US Patent 7 003 677, "Metod för att driva proaktivt säkrade applikationer på ett osäkert system" med Amir Herzberg, Dalit Naor och Eldad Shai från IBM Haifa Research Lab. Inlämnad november 1999, beviljad februari 2006.

externa länkar

• "Utvalda publikationer (med elektroniska versioner tillgängliga)" . boazbarak.org .
• "Om möjligheten till en instansbaserad komplexitetsteori - Boaz Barak" . YouTube . Institutet för avancerade studier. 15 april 2019.
• "Boaz Barak: Kryptografi, beräkningskomplexitet, algoritmer" . YouTube . 1 november 2017.
• "Om förekomsten av optimala algoritmer" . YouTube . Simons Institutet. 1 oktober 2015.
• "ICM 2014 VideoSeries IL14.1: Boaz Barak on Aug14Thu (Sum-of-squas-bevis och strävan mot optimala algoritmer)" . YouTube . Seoul ICM VOD. 18 augusti 2014.
• Mohan, Geoffrey (26 juni 2014). "Sammanslagning av fysik, kryptografi för att lösa en paradox för nukleär inspektion" . Los Angeles Times .
• "A World Disrupted: Leading Global Thinkers of 2014" . Utrikespolitik . Arkiverad från originalet den 1 januari 2015 . Hämtad 1 oktober 2020 .