Ran Raz ( hebreo : רָן רָז ) es un científico informático que trabaja en el área de la teoría de la complejidad computacional . Fue profesor en la facultad de matemáticas y ciencias de la computación en el Instituto Weizmann . Actualmente es profesor de ciencias de la computación en la Universidad de Princeton . [1]
Ran Raz recibió su doctorado en la Universidad Hebrea de Jerusalén en 1992 con Avi Wigderson y Michael Ben-Or. [2]
Ran Raz es muy conocido por su trabajo sobre sistemas de pruebas interactivas . Sus dos artículos más citados son Raz (1998) sobre pruebas interactivas con múltiples probadores y Raz & Safra (1997) sobre pruebas probabilísticamente comprobables . [3]
Ran Raz recibió el Premio Erdős en 2002. Su trabajo ha sido premiado en las principales conferencias sobre informática teórica . En 2004, recibió el premio al mejor artículo en el Simposio ACM sobre teoría de la computación (STOC) por Raz (2004), [4] y el premio al mejor artículo en la Conferencia IEEE sobre complejidad computacional (CCC) por Raz y Shpilka (2004). [5] En 2008, el trabajo Moshkovitz y Raz (2008) recibió el premio al mejor artículo en el Simposio IEEE sobre fundamentos de la informática (FOCS). [6]
Publicaciones seleccionadas
- Raz, Ran; Safra, Shmuel (1997), "Una prueba de bajo grado de probabilidad de error subconstante y una caracterización PCP de probabilidad de error subconstante de NP", Proc. STOC 1997 , págs. 475–484, CiteSeerX 10.1.1.34.6957 , doi :10.1145/258533.258641, ISBN 978-0-89791-888-6, Número de identificación del sujeto 15457604.
- Raz, Ran (1998), "Un teorema de repetición paralela", SIAM Journal on Computing , 27 (3): 763–803, CiteSeerX 10.1.1.35.6859 , doi :10.1137/S0097539795280895.
- Raz, Ran (2004), "Las fórmulas multilineales para permanentes y determinantes son de tamaño superpolinomial", Proc. STOC 2004 , págs. 633–641, CiteSeerX 10.1.1.2.9694 , doi :10.1145/1007352.1007353, ISBN 978-1-58113-852-8, Número de identificación del sujeto 1297877.
- Raz, Ran; Shpilka, Amir (2004), "Prueba de identidad polinómica determinista en modelos no conmutativos", Proc. CCC 2004 , págs. 215–222, CiteSeerX 10.1.1.104.293 , doi :10.1109/CCC.2004.1313845, ISBN 978-0-7695-2120-6.
- Moshkovitz, Dana ; Raz, Ran (2008), "PCP de dos consultas con error subconstante", Proc. FOCS 2008 , págs. 314–323, CiteSeerX 10.1.1.140.2111 , doi :10.1109/FOCS.2008.60, ISBN 978-0-7695-3436-7.
Notas
- ^ "Raz y Weinberg profundizan el liderazgo de la facultad en áreas críticas | Departamento de Ciencias de la Computación de la Universidad de Princeton". www.cs.princeton.edu . Consultado el 13 de febrero de 2017 .
- ^ Ran Raz en el Proyecto de Genealogía Matemática
- ^ Recuento de citas para Raz (1998) al 21 de febrero de 2009: Google Scholar: 313, ISI Web of Knowledge: 120, ACM Digital Library: 57 + 17, MathSciNet: 53. Recuento de citas para Raz y Safra (1997) al 21 de febrero de 2009: Google Scholar: 314, ACM Digital Library: 71, MathSciNet: 59.
- ^ Proc. STOC 2004: "Premios de la Conferencia STOC 2004", página x. [1]. Uno de los dos artículos premiados.
- ^ Proc. CCC 2004: “Premios”, página x. [2].
- ^ Procedimiento. FOCS 2008: "Prólogo", página xii. [3].
