stringtranslate.com

Shlomi Dolev

Shlomi Dolev ( hebreo : שלומי דולב ; nacido el 5 de diciembre de 1958) es profesor de Ciencias de la Computación de Rita Altura Trust en la Universidad Ben-Gurion del Negev (BGU) y director del Acelerador de inicio de facultades de alta tecnología de BGU Negev. 1]

Biografía

Shlomi Dolev se licenció en Ingeniería Civil y se licenció en Ciencias Informáticas en 1984 y 1985, y obtuvo su maestría y doctorado en Ciencias Informáticas en 1990 y 1992 en el Instituto Tecnológico Technion de Israel . De 1992 a 1995 trabajó en la Universidad Texas A&M como especialista visitante en investigación.

Carrera académica

En 1995, Dolev se incorporó al Departamento de Matemáticas y Ciencias de la Computación de la BGU. Fue el fundador y primer director del Departamento de Ciencias de la Computación, creado en 2000. Después de 15 años, el departamento se ubicó entre los primeros 150 mejores departamentos del mundo. [1]

Es autor de Self-Stabilization, publicado por MIT Press en 2000. [2] De 2011 a 2014, Dolev se desempeñó como Decano de la Facultad de Ciencias Naturales. Desde 2010 se ha desempeñado durante seis años como Director del Centro Interuniversitario de Computación de Israel. [3]

Es cofundador, miembro de la junta y CSO de Secret Double Octopus . [4] [5] También es cofundador de Secret Sky (SecretSkyDB) Ltd. [6] En 2015, Dolev fue nombrado jefe del comité directivo de estudios de informática del Ministerio de Educación de Israel. [7]

Dolev, junto con Yuval Elovici y Ehud Gudes, estableció los Laboratorios de Innovación Telekom en la Universidad Ben-Gurion. Dolev fue fundamental en el establecimiento del Centro de Excelencia en Seguridad Cibernética (CCoE) de IBM en colaboración con la Universidad Ben-Gurion del Néguev y JVP Cyber ​​Labs. [8] Varias agencias y empresas apoyan su investigación, incluidas ISF, NSF , IBM (premios de la facultad), Verisign , [9] EMC, Intel , Orange France , Deutsche Telekom , la Fuerza Aérea de EE. UU. y la Unión Europea con una suma de varios millones de dólares.

Dolev fue profesor visitante en el MIT , [10] París 11, París 6 y DIMACS . [11] Trabajó en más de cien comités de programas, presidiendo dos conferencias líderes en computación distribuida , DISC 2006, [12] y PODC 2014. [13] Recientemente, el profesor Dolev estableció y presidió el Simposio Internacional sobre Ciberseguridad, Criptografía y Aprendizaje Automático. [14]

Dolev se desempeña como editor asociado de IEEE Transactions on Computers y PeerJ . [15]

Dolev se convirtió en miembro de la Alianza Europea para la Innovación en 2019 (EAI), [16] y en 2020 se convirtió en miembro del IEEE.[2]

Trabajo de investigación

Dolev convirtió un taller sobre autoestabilización (Austin, 1989) en una serie de eventos sobre el tema. [17] [18]

La tesis de maestría de Dolev, bajo la supervisión de Shlomo Moran y Amos Israeli, resultó en el artículo más citado sobre autoestabilización, [19] después del artículo pionero de Dijkstra [20] que introdujo el concepto de composición justa de sistemas autoestabilizadores. La contribución de Dolev a la investigación de la autoestabilización abarca varias décadas de investigación y publicaciones, incluida la investigación sobre algoritmos de autoestabilización aleatorios, [21] Ha investigado algoritmos de súper estabilización que reaccionan con gracia a los cambios dinámicos al tiempo que preservan la propiedad de recuperación automática que ofrecen los sistemas autoestabilizadores. [22] Dolev también presentó con coautores los conceptos de estabilización silenciosa, [23] estabilización local, [24] estabilización práctica, [25] [26] [27] [28] autoestabilización y autoorganización, [29] detectores de fallas transitorias y esquemas de etiquetado de rendimiento. [30] También presentó el primer algoritmo distribuido de búsqueda en profundidad con autoestabilización silenciosa.

Otro interés de investigación son las redes móviles ad-hoc , incluyendo el uso de mensajes aleatorios, GeoQuarum e infraestructura virtual , donde los dispositivos móviles que actualmente pueblan una región geográfica implementan autómatas virtuales para la región, produciendo una infraestructura fija. [31]

Las contribuciones de Dolev a la investigación en criptografía y seguridad cibernética incluyen la introducción de los árboles xor [32] y buses, [33] la comunicación de intercambio secreto [34] y los autómatas acumuladores [35] y la máquina de acceso aleatorio compartido secreto [36] , que evolucionaron hasta convertirse en patentes y el establecimiento de nuevas empresas.

La investigación sobre computación óptica y complejidad complementa la investigación criptográfica de Dolev, buscando el uso de brechas de computación, [37] y casos de prueba de dureza en promedio. [38] Dolev inició una serie de cuatro talleres de supercomputación óptica [39] y varios números especiales de revistas (por ejemplo, Optical High-Performance Computing—JOSA A y  Applied Optics [40] y  Optical SuperComputing [41] ). Publicó varios artículos, incluido un comentario en la revista Nature Photonics, [42] una contribución a Nature Communication [43] sobre computación reversible y una patente. [44]

Dolev también ha contribuido a la investigación en redes complejas , [45] estructuras de datos de funciones hash , [46] ciencia del cerebro, [47] computación en tiempo real, [48] compresión, [49] teoría de juegos , [50] corrección de borrado , [51] memoria transaccional , [52] cálculos de corrección de errores, [53] verificación , [54] aprendizaje automático , [55] nanotecnología [56] y política de reemplazo de caché . [57]

Referencias

  1. ^ "Ranking académico de universidades del mundo en informática - 2015 | Las 200 mejores universidades del mundo en informática | ARWU-SUBJECT 2015" www.shanghairanking.com . Consultado el 30 de diciembre de 2017 .
  2. ^ Dolev, Shlomi (2000). Autoestabilización. MIT Press. ISBN 9780262041782.
  3. ^ "Liderazgo y personal - IUCC- Centro de computación interuniversitario, ISRAEL". IUCC- Centro de computación interuniversitario, ISRAEL . Consultado el 30 de diciembre de 2017 .
  4. ^ Pulpo doble secreto
  5. ^ "Secret Double Octopus - Seguridad sin claves y sin contraseña". doubleoctopus.com . Consultado el 30 de diciembre de 2017 .
  6. ^ "Secret Sky". www.secretsky.io . Consultado el 30 de diciembre de 2017 .
  7. ^ Programación de robótica informática
  8. ^ Strom, David. "Por qué Israel podría ser la próxima potencia mundial en materia de ciberseguridad". ITworld . Consultado el 30 de diciembre de 2017 .
  9. ^ "Simposio "Building a Better Internet" de Verisign para destacar a los líderes y visionarios de Internet (NASDAQ:VRSN)". investor.verisign.com . Consultado el 30 de diciembre de 2017 .
  10. ^ "Infraestructura virtual - Grupo de teoría de sistemas distribuidos - Instituto Tecnológico de Massachusetts". groups.csail.mit.edu . Consultado el 30 de diciembre de 2017 .
  11. ^ "Visitantes anteriores en DIMACS". dimacs.rutgers.edu . Consultado el 30 de diciembre de 2017 .
  12. ^ "DISC 2006". www.disc-conference.org . Consultado el 30 de diciembre de 2017 .
  13. ^ "ACM PODC 2014". www.podc.org . Consultado el 30 de diciembre de 2017 .
  14. ^ "CSCML 2017". www.cs.bgu.ac.il . Consultado el 30 de diciembre de 2017 .
  15. ^ "Shlomi Dolev - El proyecto de genealogía matemática". genealogy.math.ndsu.nodak.edu . Consultado el 30 de diciembre de 2017 .
  16. ^ "Estamos orgullosos de anunciar los primeros EAI Fellows | Blog de EAI". 10 de mayo de 2019. Consultado el 19 de enero de 2020 .
  17. ^ "Página de inicio de autoestabilización" www.selfstabilization.org . Consultado el 30 de diciembre de 2017 .
  18. ^ "WSS 95 Call For Papers" (Convocatoria de artículos para el WSS 95). www.cs.bgu.ac.il. Consultado el 30 de diciembre de 2017 .
  19. ^ Dolev, Shlomo; Israeli, Amos; Moran, Shlomo (1990). "Autoestabilización de sistemas dinámicos suponiendo solo atomicidad de lectura/escritura". Actas del noveno simposio anual de la ACM sobre Principios de computación distribuida . PODC '90. Nueva York, NY, EE. UU.: ACM. págs. 103–117. doi :10.1145/93385.93407. ISBN. 978-0897914048.
  20. ^ Dijkstra, Edsger W. (1982). "Autoestabilización a pesar del control distribuido". Selected Writings on Computing: A personal Perspective . Textos y monografías en informática. Springer, Nueva York, NY. pp. 41–46. doi :10.1007/978-1-4612-5695-3_7. ISBN 9781461256977.
  21. ^ Dolev, S.; Israeli, A.; Moran, S. (abril de 1997). "Elección de líder autoestabilizadora dinámica uniforme". IEEE Transactions on Parallel and Distributed Systems . 8 (4): 424–440. doi :10.1109/71.588622. ISSN  1045-9219.
  22. ^ Dolev, Shlomi; Welch, Jennifer L. (septiembre de 2004). "Sincronización de relojes autoestabilizadores en presencia de fallas bizantinas". Revista de la ACM . 51 (5): 780–799. CiteSeerX 10.1.1.48.9451 . doi :10.1145/1017460.1017463. ISSN  0004-5411. S2CID  8310509. 
  23. ^ Dolev, Shlomi; Gouda, Mohamed G.; Schneider, Marco (1999-10-01). "Requerimientos de memoria para estabilización silenciosa". Acta Informatica . 36 (6): 447–462. doi :10.1007/s002360050180. ISSN  0001-5903. S2CID  1392365.
  24. ^ Afek, Y.; Dolev, S. (junio de 1997). "Estabilizador local". Actas del quinto simposio israelí sobre teoría de la computación y los sistemas . págs. 74-84. doi :10.1109/ISTCS.1997.595159. ISBN . 978-0-8186-8037-3.S2CID46376063  .​
  25. ^ Dolev, Shlomi; Kat, Ronen I.; Schiller, Elad M. (1 de diciembre de 2010). "Cuando el consenso se encuentra con la autoestabilización". Revista de Ciencias de la Computación y de Sistemas . 76 (8): 884–900. doi : 10.1016/j.jcss.2010.05.005 . ISSN  0022-0000.
  26. ^ Alón, Noga; Attiya, Hagit; Dolev, Shlomi; Dubois, cisne; Potop-Butucaru, María; Tixeuil, Sébastien (1 de junio de 2015). "Prácticamente estabilizar la memoria atómica SWMR en sistemas de paso de mensajes". Revista de Ciencias de la Computación y de Sistemas . 81 (4): 692–701. doi :10.1016/j.jcss.2014.11.014. ISSN  0022-0000.
  27. ^ Blanchard, Peva; Dolev, Shlomi; Beauquier, Joffroy; Delaët, Sylvie (2014). Sistemas en red (PDF) . Apuntes de clase en informática. Springer, Cham. págs. 99-121. doi :10.1007/978-3-319-09581-3_8. ISBN 9783319095806.
  28. ^ Dolev, Shlomi; Georgiou, Chryssis; Marcoullis, Ioannis; Schiller, Elad M. (17 de mayo de 2017). "Reconfiguración autoestabilizadora". Sistemas en red . Apuntes de clase en informática. Vol. 10299. Springer, Cham. págs. 51–68. arXiv : 1606.00195 . doi :10.1007/978-3-319-59647-1_5. ISBN . 9783319596464.
  29. ^ Dolev, Shlomi; Tzachar, Nir (28 de febrero de 2009). "Imperio de colonias: algoritmo distribuido autoestabilizador y autoorganizado". Ciencias de la Computación Teórica . 410 (6–7): 514–532. doi :10.1016/j.tcs.2008.10.006. ISSN  0304-3975.
  30. ^ Beauquier, Joffroy; DelaËt, Sylvie; Dolev, Shlomi; Tixeuil, Sébastien (24 de septiembre de 1998). "Detectores de fallos transitorios" . Computación distribuida . Apuntes de clase sobre informática. Vol. 1499. Springer, Berlín, Heidelberg. págs. 62–74. doi :10.1007/BFb0056474. ISBN. 9783540650669.
  31. ^ "Infraestructura virtual - Grupo de teoría de sistemas distribuidos - Instituto Tecnológico de Massachusetts". groups.csail.mit.edu . Consultado el 30 de diciembre de 2017 .
  32. ^ Dolev, Shlomi; Ostrobsky, Rafail (mayo de 2000). "Árboles Xor para una recepción y multidifusión anónimas eficientes". ACM Transactions on Information and System Security . 3 (2): 63–84. CiteSeerX 10.1.1.73.6464 . doi :10.1145/354876.354877. ISSN  1094-9224. S2CID  9227352. 
  33. ^ Beimel; Dolev (1 de enero de 2003). "Buses para la entrega de mensajes anónimos". Revista de criptología . 16 (1): 25–39. CiteSeerX 10.1.1.16.1339 . doi :10.1007/s00145-002-0128-6. ISSN  0933-2790. S2CID  15634853. 
  34. ^ Dolev, Shlomi; Lahiani, Limor; Yung, Moti (1 de septiembre de 2012). "Unidad de enjambre secreta: intercambio reactivo de k-secretos". Ad Hoc Networks . 10 (7): 1291–1305. doi :10.1016/j.adhoc.2012.03.011. ISSN  1570-8705.
  35. ^ Dolev, Shlomi; Gilboa, Niv; Li, Ximing (2015). "Autómatas acumuladores y autómatas de ecuaciones en cascada para computación multipartita teóricamente segura de información sin comunicación". Actas del 3.er Taller internacional sobre seguridad en computación en la nube . SCC '15. Nueva York, NY, EE. UU.: ACM. págs. 21–29. doi :10.1145/2732516.2732526. ISBN . 9781450334471.S2CID1668625  .​
  36. ^ Dolev, Shlomi; Li, Yin (2016). Aspectos algorítmicos de la computación en la nube . Notas de clase en informática. Springer, Cham. págs. 19–34. doi :10.1007/978-3-319-29919-8_2. ISBN 9783319299181.
  37. ^ Dolev, Shlomi; Korach, Ephraim; Li, Ximing; Li, Yin; Uzan, Galit (11 de julio de 2016). "Ampliando las brechas informáticas: estableciendo comunicación cifrada a través de canales unidireccionales". Ciencias de la Computación Teórica . 636 : 17–26. doi : 10.1016/j.tcs.2016.04.032 . ISSN  0304-3975.
  38. ^ Dolev, Shlomi; Fandina, Nova; Gutfreund, Dan (22 de mayo de 2013). "Succinct Permanent es NEXP-Hard con muchas instancias duras: (Resumen extendido)". Algorithms and Complexity . Apuntes de clase en informática. Vol. 7878. Springer, Berlín, Heidelberg. págs. 183–196. doi :10.1007/978-3-642-38233-8_16. ISBN 9783642382321.
  39. ^ Dolev, Shlomi; Olteán, Mihai (2013). Supercomputación óptica . Apuntes de conferencias sobre informática. vol. 7715.doi : 10.1007 /978-3-642-38250-5. ISBN 978-3-642-38249-9.S2CID13010557  .​{{cite book}}: Mantenimiento CS1: fecha y año ( enlace )
  40. ^ Caulfield, H. John; Dolev, Shlomi; Green, William MJ (1 de agosto de 2009). "Computación óptica de alto rendimiento: JOSA A y óptica aplicada: Introducción". JOSA A . 26 (8): OHPC1–OHPC2. Código Bibliográfico :2009JOSAA..26C...1C. doi :10.1364/JOSAA.26.0OHPC1. ISSN  1520-8532. PMID  19649109.
  41. ^ Dolev, Shlomi; Oltean, Mihai (1 de septiembre de 2015). "Supercomputación óptica: prefacio a la edición especial". Natural Computing . 14 (3): 431–432. doi : 10.1007/s11047-015-9510-9 . ISSN  1567-7818.
  42. ^ Caulfield, H. John; Dolev, Shlomi (1 de mayo de 2010). "Por qué la supercomputación del futuro requiere óptica". Nature Photonics . 4 (5): 261–263. doi :10.1038/nphoton.2010.94.
  43. ^ Cohen, Eyal; Dolev, Shlomi; Rosenblit, Michael (26 de abril de 2016). "Diseño totalmente óptico para puertas y circuitos reversibles que conservan la energía de manera inherente". Nature Communications . 7 : 11424. Bibcode :2016NatCo...711424C. doi :10.1038/ncomms11424. PMC 4853429 . PMID  27113510. 
  44. ^ US 20050013531, Dolev, Shlomo y Nir, Yuval, "Implementación óptica de máquinas de Turing no deterministas acotadas", publicado el 20 de enero de 2005 
  45. ^ Dolev, Shlomi; Elovici, Yuval; Puzis, Rami (mayo de 2010). "Routing Betweenness Centrality". Revista de la ACM . 57 (4): 25:1–25:27. doi :10.1145/1734213.1734219. ISSN  0004-5411. S2CID  15662473.
  46. ^ Dolev, Shlomi; Lahiani, Limor; Haviv, Yinnon (4 de marzo de 2013). "Hash de permutación única". Ciencias Informáticas Teóricas . 475 : 59–65. doi : 10.1016/j.tcs.2012.12.047 . ISSN  0304-3975.
  47. ^ Berend, Daniel; Dolev, Shlomi; Hanemann, Ariel (7 de noviembre de 2014). "La secuencia de grados del grafo determina únicamente la estabilidad esperada del patrón de red de Hopfield". Neural Computation . 27 (1): 202–210. doi :10.1162/NECO_a_00685. ISSN  0899-7667. PMID  25380334. S2CID  324693.
  48. ^ Dolev, Shlomi; Keizelman, Alexander (1 de julio de 1999). "Programación no preferente en tiempo real de tareas multimedia". Sistemas en tiempo real . 17 (1): 23–39. doi :10.1023/A:1008033411290. ISSN  0922-6443. S2CID  21271497.
  49. ^ Dolev, S.; Frenkel, S.; Kopeetsky, M. (agosto de 2014). "Compresión en línea adaptativa de entropía". 2014 IEEE 13th International Symposium on Network Computing and Applications . págs. 162–166. doi :10.1109/NCA.2014.31. ISBN 978-1-4799-5393-6.S2CID16454780  .​
  50. ^ Dolev, Shlomi (2015). "La realidad que impone la teoría de juegos (breve resumen)". Algoritmos, probabilidad, redes y juegos . Apuntes de clase en informática. Vol. 9295. Springer, Cham. págs. 25-26. doi :10.1007/978-3-319-24024-4_2. ISBN 9783319240237.
  51. ^ Beimel, A.; Dolev, S.; Singer, N. (diciembre de 2007). "Corrección de borrado inconsciente de RT". Transacciones IEEE/ACM sobre redes . 15 (6): 1321–1332. CiteSeerX 10.1.1.75.2503 . doi :10.1109/TNET.2007.896540. ISSN  1063-6692. S2CID  1942801. 
  52. ^ Dolev, Shlomi; Hendler, Danny; Suissa, Adi (2008). "Car-STM". Actas del vigésimo séptimo simposio de la ACM sobre Principios de computación distribuida . PODC '08. Nueva York, NY, EE. UU.: ACM. págs. 125–134. doi :10.1145/1400751.1400769. ISBN . 9781595939890. Número de identificación del sujeto  2244129.
  53. ^ Dolev, Shlomi; Frenkel, Sergey; Tamir, Dan E.; Sinelnikov, Vladimir (1 de diciembre de 2013). "Preservación de la distancia de Hamming en operaciones aritméticas y lógicas". Revista de pruebas electrónicas . 29 (6): 903–907. doi :10.1007/s10836-013-5421-9. ISSN  0923-8174. S2CID  10400423.
  54. ^ Brukman, Olga; Dolev, Shlomi (1 de agosto de 2011). "Programación orientada a la recuperación: monitoreo en tiempo de ejecución de la seguridad y la actividad". Revista internacional sobre herramientas de software para transferencia de tecnología . 13 (4): 377–395. doi :10.1007/s10009-011-0200-3. ISSN  1433-2779. S2CID  38141213.
  55. ^ Dolev, Shlomi; Leshem, Guy; Yagel, Reuven (2010). "Purificación de datos mediante aprendizaje automático con niveles de certeza". Actas del Tercer Taller Internacional sobre Fiabilidad, Disponibilidad y Seguridad . WRAS '10. Nueva York, NY, EE. UU.: ACM. págs. 5:1–5:6. doi :10.1145/1953563.1953567. ISBN 9781450306423.S2CID 14923143  .
  56. ^ Cohen, Eyal; Dolev, Shlomi; Rosenblit, Michael (19 de julio de 2012). "Un multiplicador de matriz vectorial nano-óptico para implementar máquinas de estados". Supercomputación óptica . Apuntes de clase en informática. Vol. 7715. Springer, Berlín, Heidelberg. págs. 78–91. doi :10.1007/978-3-642-38250-5_9. ISBN 9783642382499.
  57. ^ Bitan, Dor; Dolev, Shlomi (2019). "Computaciones y reversiones de cúbits rotatorios aleatorios --- Computaciones cuánticas homomórficas totalmente compactas, no interactivas y seguras para TI sobre datos clásicos utilizando bases aleatorias". Archivo de impresiones electrónicas de criptología .

Enlaces externos