Boaz Barak
Boaz Barak (בועז ברק, born 1974) is an Israeli-American professor of computer science.[1]
He graduated in 1999 with a B.Sc. in mathematics and computer science from Tel Aviv University[2] He received in 2004 his Ph.D. from the Weizmann Institute of Science with thesis Non-Black-Box Techniques in Cryptography under the supervision of Oded Goldreich.[3] Barak was at the Institute for Advanced Study for two years from 2003 to 2005. In the computer science department of Princeton University he was an assistant professor from 2005 to 2010 and an associate professor from 2010 to 2011. From 2010 to 2016 he was a researcher at Microsoft's New England research laboratory. He is, since 2016, Harvard University's Gordon McKay Professor of Computer Science in the Harvard John A. Paulson School of Engineering and Applied Sciences. He is a citizen of Israel and the U.S.A.[2]
He co-authored, with Sanjeev Arora, Computational Complexity: A Modern Approach, published by Cambridge University Press in 2009.[4] Barak also wrote, with David Steurer, extensive notes on the sum of squares algorithm and occasionally blogs on the Windows on Theory blog.[2]
In 2014 Barak was an invited speaker at the International Congress of Mathematics at Seoul. He was selected for Foreign Policy's Top 100 Global Thinkers issue for 2014. With Mark Braverman, Xi Chen, and Anup Rao, he won the 2016 SIAM Outstanding Paper Prize for the paper How to “Compress Interactive Communication”.[2][5]
Patents
- U.S. Patent 7,003,677, “Method for operating proactively secured applications on an insecure system” with Amir Herzberg, Dalit Naor and Eldad Shai of IBM Haifa Research Lab. Filed November 1999, granted February 2006.
References
- "Boaz Barak, homepage". boazbarak.
- "Boaz Barak — Curriculum Vitae" (PDF).
- Boaz Barak at the Mathematics Genealogy Project
- Arora, Sanjeev; Barak, Boaz (20 April 2009). Computational Complexity: A Modern Approach. Cambridge University Press. ISBN 978-0-521-42426-4.
- Barak, Boaz; Braverman, Mark; Chen, Xi; Rao, Anup (2013). "How to Compress Interactive Communication". SIAM Journal on Computing. 42 (3): 1327–1363. doi:10.1137/100811969. ISSN 0097-5397.
External links
- "Selected publications (with electronic versions available)". boazbarak.org.
- "On the possibility of an instance-based complexity theory - Boaz Barak". YouTube. Institute for Advanced Study. 15 April 2019.
- "Boaz Barak: Cryptography, Computation Complexity, Algorithms". YouTube. 1 November 2017.
- "On the Existence of Optimal Algorithms". YouTube. Simons Institute. 1 October 2015.
- "ICM 2014 VideoSeries IL14.1: Boaz Barak on Aug14Thu (Sum-of-squares proofs and the quest toward optimal algorithms)". YouTube. Seoul ICM VOD. 18 August 2014.