Boaz Barak (בועז ברק, nacido en 1974) es un profesor israelí-estadounidense de informática en la Universidad de Harvard . [1]
Se graduó en 1999 con un B.Sc. en matemáticas e informática de la Universidad de Tel Aviv . [2] En 2004, recibió su doctorado. del Instituto Weizmann de Ciencias con tesis Técnicas en criptografía sin caja negra bajo la supervisión de Oded Goldreich . [3] Barak estuvo en el Instituto de Estudios Avanzados durante dos años, de 2003 a 2005. Fue profesor asistente en el departamento de informática de la Universidad de Princeton de 2005 a 2010 y profesor asociado de 2010 a 2011. De 2010 a 2016, Era investigador en el laboratorio de investigación de Microsoft en Nueva Inglaterra. Desde 2016, es profesor Gordon McKay de Ciencias de la Computación en la Escuela de Ingeniería y Ciencias Aplicadas John A. Paulson de Harvard . Es ciudadano tanto de Israel como de Estados Unidos . [2]
Fue coautor, con Sanjeev Arora , Computational Complexity: A Modern Approach , publicado por Cambridge University Press en 2009. [4] Barak también escribió extensas notas con David Steurer sobre el algoritmo de suma de cuadrados y ocasionalmente blogs en el blog Windows on Theory. . [2] En 2013, él, Robert J. Goldston y Alexander Glaser trabajaron para diseñar un sistema de "conocimiento cero" para verificar que las ojivas designadas para el desarme son en realidad lo que pretenden ser. Al dirigir neutrones de alta energía hacia la ojiva bajo investigación y comparar la distribución que pasa a través de ella con la distribución que pasó a través de una ojiva conocida, los inspectores pueden determinar si una ojiva que se está desarman es genuina o una artimaña diseñada para evadir los requisitos del tratado, sin fugas nucleares. misterios. [5] Por este trabajo, fue seleccionado para la edición de los 100 mejores pensadores globales de Foreign Policy de 2014. [6]
En 2014, Barak fue orador invitado en el Congreso Internacional de Matemáticas en Seúl . Con Mark Braverman , Xi Chen y Anup Rao, ganó el premio SIAM Outstanding Paper Prize 2016 por el artículo "Cómo comprimir la comunicación interactiva". [2] [7] Fue nombrado miembro de la generación 2022 de becarios ACM , "por sus contribuciones a la informática teórica, en particular la criptografía y la complejidad computacional, y el servicio a la comunidad teórica". [8]