Boaz Barak
Boaz Barak (בועז ברק; 1974) é um matemático e cientista da computação israelense-estadunidense.[1] É professor de ciência da computação da Universidade Harvard.
| Boaz Barak | |
|---|---|
| Cidadania | Israel, Estados Unidos |
| Alma mater | |
| Ocupação | cientista de computação |
| Distinções |
|
| Empregador(a) | Universidade de Tel Aviv, Universidade de Princeton, Universidade Harvard, Microsoft Research, Instituto de Tecnologia de Massachusetts |
| Orientador(a)(es/s) | Oded Goldreich |
Graduado em matemática e ciência da computação em 1999 na Universidade de Tel Aviv.[2] Obteve um doutorado em 2004 no Instituto Weizmann de Ciência, orientado por Oded Goldreich, com a tese Non-Black-Box Techniques in Cryptography.[3] Barak esteve no Instituto de Estudos Avançados de Princeton por dois anos, de 2003 a 2005. Foi professor assistente no Departamento de Ciência da Computação da Universidade de Princeton de 2005 a 2010 e professor associado de 2010 a 2011. De 2010 a 2016 foi pesquisador do Microsoft's New England Research Laboratory. É desde 2016 professor de ciência da computação da Universidade Harvard na Harvard John A. Paulson School of Engineering and Applied Sciences. É cidadão de Israel e dos Estados Unidos.[2]
É coautor com Sanjeev Arora de Computational Complexity: A Modern Approach, publicado pela Cambridge University Press em 2009.[4] Barak também escreveu, com David Steurer, extensas notas sobre o algoritmo da soma de quadrados.[2]
Foi palestrante convidado do Congresso Internacional de Matemáticos em Seul (2014: Sum-of-squares proofs and the quest toward optimal algorithms).[5] Foi selecionado pela Foreign Policy' como FP Top 100 Global Thinkers na edição de 2014.
Patentes
editar- 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.
Referências
- ↑ «Boaz Barak, página pessoal». boazbarak
- ↑ a b c «Boaz Barak — Curriculum Vitae» (PDF)
- ↑ Boaz Barak (em inglês) no Mathematics Genealogy Project
- ↑ Arora, Sanjeev; Barak, Boaz (20 de abril de 2009). Computational Complexity: A Modern Approach. [S.l.]: Cambridge University Press. ISBN 978-0-521-42426-4
- ↑ Sum-of-squares proofs and the quest toward optimal algorithms
Ligações externas
editar- «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 de abril de 2019
- «Boaz Barak: Cryptography, Computation Complexity, Algorithms». YouTube. 1 de novembro de 2017
- «On the Existence of Optimal Algorithms». YouTube. Simons Institute. 1 de outubro de 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 de agosto de 2014