Shlomi Dolev (en hebreo : שלומי דולב , nacido el 5 de diciembre de 1958) es profesora de la Cátedra Rita Altura Trust en Ciencias de la Computación en la Universidad Ben-Gurion del Negev (BGU) y directora del Acelerador de inicio de la facultad de alta tecnología BGU Negev. [2]
Shlomi Dolev | |
---|---|
Nació | 1958 |
Nacionalidad | israelí |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad Ben-Gurion del Negev |
Asesores académicos | Shlomo Moran , Amos israelí |
Sitio web | https://www.cs.bgu.ac.il/~dolev/ |
Biografía
Shlomi Dolev recibió B.Sc. en Ingeniería Civil y Licenciatura en Ciencias de la Computación en 1984 y 1985, y su M.Sc. y D.Sc. en ciencias de la computación en 1990 y 1992 del Technion Israel Institute of Technology . De 1992 a 1995 estuvo en la Universidad de Texas A&M como especialista visitante en investigación.
Carrera académica
En 1995, Dolev se incorporó al Departamento de Matemáticas e Informática de BGU. Fue el fundador y primer jefe de departamento del Departamento de Ciencias de la Computación, establecido en 2000. Después de 15 años, el departamento fue clasificado 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 Jefe del Centro de Computación Interuniversitario 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 establecieron los Laboratorios de Innovación Telekom en la Universidad Ben-Gurion. Dolev jugó un papel decisivo en el establecimiento del IBM Cyber Security Center of Excellence ( CCoE ) en colaboración con la Universidad Ben-Gurion del Negev 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 , US Airforce y la Unión Europea por la suma de varios millones de dólares. .
Dolev fue profesor invitado en el MIT , [10] Paris 11, Paris 6 y DIMACS . [11] Se desempeñó 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 Prof. Dolev estableció y presidió el Simposio Internacional sobre Ciberseguridad, Criptografía y Máquinas. Aprendiendo. [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. [3]
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 Israel, resultó en el artículo más citado sobre autoestabilización, [19] siguiendo el artículo pionero de Dijkstra [20] que presenta el concepto de composición justa de sistemas autoestabilizantes. 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 ofrecida por uno mismo. -sistemas estabilizadores. [22] Dolev también presentó con los coautores los conceptos de, estabilización silenciosa, [23] estabilización local, [24] prácticamente estabilizante, [25] [26] [27] [28] autoestabilizante y autoorganizado, [29] Detectores de fallas transitorias y esquemas de etiquetado de rendimiento. [30] También presentó el primer algoritmo distribuido silencioso de búsqueda de primera profundidad autoestabilizadora.
Otro interés de investigación son las redes móviles ad-hoc , que incluyen 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, dando como resultado una infraestructura fija. [31]
La investigación de Dolev en criptografía y las contribuciones a la investigación de la seguridad cibernética incluyen la introducción de los árboles xor [32] y los autobuses, [33] comunicación secreta compartida [34] y la acumulación de autómatas [35] y la máquina secreta compartida de acceso aleatorio , [36] que evolucionó a patentes y 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 demostrables en casos promedio. [38] Dolev inició una serie de cuatro talleres de supercomputación óptica [39] y varios números especiales de revistas (por ejemplo, Computación óptica de alto rendimiento — JOSA A y Óptica aplicada [40] y Supercomputación óptica [41] ). Publicó varios artículos, incluido un comentario en la revista Nature photonics, [42] una contribución a la comunicación de la naturaleza [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 función 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 sustitución de caché . [57]
Referencias
- ^ "Ranking académico de universidades del mundo en informática - 2015 | 2015 Top 200 universidades en informática | ARWU-SUBJECT 2015" . www.shanghairanking.com . Consultado el 30 de diciembre de 2017 .
- ^ Dolev, Shlomi (2000). Autoestabilización . Prensa del MIT. ISBN 9780262041782.
- ^ "Liderazgo y personal - IUCC- Centro de Computación Interuniversitaria, ISRAEL" . IUCC- Centro Interuniversitario de Computación, ISRAEL . Consultado el 30 de diciembre de 2017 .
- ^ Pulpo doble secreto
- ^ "Secret Double Octopus - Seguridad sin llave sin contraseña" . doubleoctopus.com . Consultado el 30 de diciembre de 2017 .
- ^ "Cielo secreto" . www.secretsky.io . Consultado el 30 de diciembre de 2017 .
- ^ Programación informática-robótica
- ^ Strom, David. "Por qué Israel podría ser la próxima potencia mundial en ciberseguridad" . ITworld . Consultado el 30 de diciembre de 2017 .
- ^ Simposio "Verisign" Construyendo una mejor Internet "para destacar a los líderes y visionarios de Internet (NASDAQ: VRSN)" . investor.verisign.com . Consultado el 30 de diciembre de 2017 .
- ^ "Infraestructura virtual - Grupo de teoría de sistemas distribuidos - Instituto de tecnología de Massachusetts" . grupos.csail.mit.edu . Consultado el 30 de diciembre de 2017 .
- ^ "Visitantes anteriores en DIMACS" . dimacs.rutgers.edu . Consultado el 30 de diciembre de 2017 .
- ^ "DISCO 2006" . www.disc-conference.org . Consultado el 30 de diciembre de 2017 .
- ^ "ACM PODC 2014" . www.podc.org . Consultado el 30 de diciembre de 2017 .
- ^ "CSCML 2017" . www.cs.bgu.ac.il . Consultado el 30 de diciembre de 2017 .
- ^ "Shlomi Dolev - El proyecto de genealogía de las matemáticas" . genealogy.math.ndsu.nodak.edu . Consultado el 30 de diciembre de 2017 .
- ^ "Estamos orgullosos de anunciar el primer blog de EAI Fellows | EAI" . Consultado el 19 de enero de 2020 .
- ^ "Página de inicio de autoestabilización" . www.selfstabilization.org . Consultado el 30 de diciembre de 2017 .
- ^ "WSS 95 Call For Papers" . www.cs.bgu.ac.il . Consultado el 30 de diciembre de 2017 .
- ^ Dolev, Shlomo; Israelí, Amos; Moran, Shlomo (1990). Autoestabilización de sistemas dinámicos asumiendo solo atomicidad de lectura / escritura . Actas del Noveno Simposio Anual de 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.
- ^ Dijkstra, Edsger W. (1982). "Autoestabilización a pesar del control distribuido". Escritos seleccionados sobre informática: una perspectiva personal . Textos y monografías en informática. Springer, Nueva York, NY. págs. 41 –46. doi : 10.1007 / 978-1-4612-5695-3_7 . ISBN 9781461256977.
- ^ Dolev, S .; Israelí, A .; Moran, S. (abril de 1997). "Elección de líder autoestabilizadora dinámica uniforme". Transacciones IEEE en sistemas paralelos y distribuidos . 8 (4): 424–440. doi : 10.1109 / 71.588622 . ISSN 1045-9219 .
- ^ Dolev, Shlomi; Welch, Jennifer L. (septiembre de 2004). "Sincronización de reloj autoestabilizante 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 .
- ^ Dolev, Shlomi; Gouda, Mohamed G .; Schneider, Marco (1 de octubre de 1999). "Requisitos de memoria para la estabilización silenciosa". Acta Informatica . 36 (6): 447–462. doi : 10.1007 / s002360050180 . ISSN 0001-5903 . S2CID 1392365 .
- ^ Afek, Y .; Dolev, S. (junio de 1997). Estabilizador local . Actas del Quinto Simposio Israelí sobre Teoría de Computación y Sistemas . págs. 74–84. doi : 10.1109 / ISTCS.1997.595159 . ISBN 978-0-8186-8037-3. S2CID 46376063 .
- ^ 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 Sistemas . 76 (8): 884–900. doi : 10.1016 / j.jcss.2010.05.005 . ISSN 0022-0000 .
- ^ Alon, Noga; Attiya, Hagit; Dolev, Shlomi; Dubois, Swan; 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 Sistemas . 81 (4): 692–701. doi : 10.1016 / j.jcss.2014.11.014 . ISSN 0022-0000 .
- ^ Blanchard, Peva; Dolev, Shlomi; Beauquier, Joffroy; Delaët, Sylvie (2014). Sistemas en red (PDF) . Apuntes de conferencias en Ciencias de la Computación. Springer, Cham. págs. 99-121. doi : 10.1007 / 978-3-319-09581-3_8 . ISBN 9783319095806.
- ^ Dolev, Shlomi; Georgiou, Chryssis; Marcoullis, Ioannis; Schiller, Elad M. (17 de mayo de 2017). Reconfiguración autoestabilizante . Sistemas en red . Apuntes de conferencias en Ciencias de la Computación. Springer, Cham. págs. 51–68. arXiv : 1606.00195 . doi : 10.1007 / 978-3-319-59647-1_5 . ISBN 9783319596464.
- ^ Dolev, Shlomi; Tzachar, Nir (28 de febrero de 2009). "Imperio de colonias: algoritmo distribuido autoestabilizante y autoorganizado". Informática Teórica . 410 (6–7): 514–532. doi : 10.1016 / j.tcs.2008.10.006 . ISSN 0304-3975 .
- ^ Beauquier, Joffroy; DelaËt, Sylvie; Dolev, Shlomi; Tixeuil, Sébastien (24 de septiembre de 1998). Detectores de fallas transitorias . Computación distribuida . Apuntes de conferencias en Ciencias de la Computación. Springer, Berlín, Heidelberg. págs. 62–74 . doi : 10.1007 / BFb0056474 . ISBN 9783540650669.
- ^ "Infraestructura virtual - Grupo de teoría de sistemas distribuidos - Instituto de tecnología de Massachusetts" . grupos.csail.mit.edu . Consultado el 30 de diciembre de 2017 .
- ^ Dolev, Shlomi; Ostrobsky, Rafail (mayo de 2000). "Xor-trees para recepción y multidifusión anónima eficiente". Transacciones ACM sobre seguridad de la información y del sistema . 3 (2): 63–84. CiteSeerX 10.1.1.73.6464 . doi : 10.1145 / 354876.354877 . ISSN 1094-9224 . S2CID 9227352 .
- ^ Beimel; Dolev (1 de enero de 2003). "Autobuses 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 .
- ^ Dolev, Shlomi; Lahiani, Limor; Yung, Moti (1 de septiembre de 2012). "Unidad de enjambre secreto: intercambio reactivo k-secreto". Redes Ad Hoc . 10 (7): 1291–1305. doi : 10.1016 / j.adhoc.2012.03.011 . ISSN 1570-8705 .
- ^ Dolev, Shlomi; Gilboa, Niv; Li, Ximing (2015). Autómatas de acumulación y ecuaciones en cascada Autómatas para información sin comunicación Computación multipartita teóricamente segura: Resumen extendido . Actas del 3er Taller Internacional sobre Seguridad en la Computación en la Nube . SCC '15. Nueva York, NY, EE.UU .: ACM. págs. 21-29. doi : 10.1145 / 2732516.2732526 . ISBN 9781450334471. S2CID 1668625 .
- ^ Dolev, Shlomi; Li, Yin (2016). Aspectos algorítmicos de la computación en nube . Apuntes de conferencias en Ciencias de la Computación. Springer, Cham. págs. 19–34. doi : 10.1007 / 978-3-319-29919-8_2 . ISBN 9783319299181.
- ^ Dolev, Shlomi; Coré, Efraín; Li, Ximing; Li, Yin; Uzan, Galit (11 de julio de 2016). "Ampliación de brechas informáticas: establecimiento de comunicación cifrada sobre canales unidireccionales" . Informática Teórica . 636 : 17-26. doi : 10.1016 / j.tcs.2016.04.032 . ISSN 0304-3975 .
- ^ Dolev, Shlomi; Fandina, Nova; Gutfreund, Dan (22 de mayo de 2013). Succinct Permanent es NEXP-Hard con muchas instancias difíciles . Algoritmos y complejidad . Apuntes de conferencias en Ciencias de la Computación. Springer, Berlín, Heidelberg. págs. 183–196. doi : 10.1007 / 978-3-642-38233-8_16 . ISBN 9783642382321.
- ^ Dolev, Shlomi; Oltean, Mihai (2013). Supercomputación óptica | SpringerLink . Apuntes de conferencias en Ciencias de la Computación. 7715 . doi : 10.1007 / 978-3-642-38250-5 . ISBN 978-3-642-38249-9. S2CID 13010557 .
- ^ 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". Un JOSA . 26 (8): OHPC1 – OHPC2. Código Bibliográfico : 2009JOSAA..26C ... 1C . doi : 10.1364 / JOSAA.26.0OHPC1 . ISSN 1520-8532 . PMID 19649109 .
- ^ Dolev, Shlomi; Oltean, Mihai (1 de septiembre de 2015). "Optical SuperComputing: Prefacio a un número especial" . Computación natural . 14 (3): 431–432. doi : 10.1007 / s11047-015-9510-9 . ISSN 1567-7818 .
- ^ Caulfield, H. John; Dolev, Shlomi (1 de mayo de 2010). "Por qué la futura supercomputación requiere óptica". Nature Photonics . 4 (5): 261–263. doi : 10.1038 / nphoton.2010.94 .
- ^ Cohen, Eyal; Dolev, Shlomi; Rosenblit, Michael (26 de abril de 2016). "Diseño totalmente óptico para puertas y circuitos reversibles que conservan energía inherentemente" . Comunicaciones de la naturaleza . 7 : 11424. Bibcode : 2016NatCo ... 711424C . doi : 10.1038 / ncomms11424 . PMC 4853429 . PMID 27113510 .
- ^ [1] , Dolev, Shlomo & Yuval Nir, "Implementación óptica de máquinas de turing no deterministas delimitadas"
- ^ Dolev, Shlomi; Elovici, Yuval; Puzis, Rami (mayo de 2010). "Centralidad de intermediación de enrutamiento". Revista de la ACM . 57 (4): 25: 1–25: 27. doi : 10.1145 / 1734213.1734219 . ISSN 0004-5411 . S2CID 15662473 .
- ^ Dolev, Shlomi; Lahiani, Limor; Haviv, Yinnon (4 de marzo de 2013). "Hash de permutación única" . Informática Teórica . 475 : 59–65. doi : 10.1016 / j.tcs.2012.12.047 . ISSN 0304-3975 .
- ^ Berend, Daniel; Dolev, Shlomi; Hanemann, Ariel (7 de noviembre de 2014). "La secuencia de grados del gráfico determina únicamente la estabilidad esperada del patrón de red de Hopfield". Computación neuronal . 27 (1): 202–210. doi : 10.1162 / NECO_a_00685 . ISSN 0899-7667 . PMID 25380334 . S2CID 324693 .
- ^ Dolev, Shlomi; Keizelman, Alexander (1 de julio de 1999). "Programación no preventiva en tiempo real de tareas multimedia". Sistemas en tiempo real . 17 (1): 23–39. doi : 10.1023 / A: 1008033411290 . ISSN 0922-6443 . S2CID 21271497 .
- ^ Dolev, S .; Frenkel, S .; Kopeetsky, M. (agosto de 2014). Compresión en línea adaptable a la 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. S2CID 16454780 .
- ^ Dolev, Shlomi (2015). "La teoría del juego de la realidad impone (breve resumen)". Algoritmos, probabilidad, redes y juegos . Apuntes de conferencias en Ciencias de la Computación. 9295 . Springer, Cham. págs. 25-26. doi : 10.1007 / 978-3-319-24024-4_2 . ISBN 9783319240237.
- ^ Beimel, A .; Dolev, S .; Singer, N. (diciembre de 2007). "RT Corrección de borrado ajeno". 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 .
- ^ Dolev, Shlomi; Hendler, Danny; Suissa, Adi (2008). CAR-STM: Evitación y resolución de colisiones basadas en programación para memoria transaccional de software . Actas del vigésimo séptimo simposio de 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. S2CID 2244129 .
- ^ Dolev, Shlomi; Frenkel, Sergey; Tamir, Dan E .; Sinelnikov, Vladimir (1 de diciembre de 2013). "Preservar 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 .
- ^ Brukman, Olga; Dolev, Shlomi (1 de agosto de 2011). "Programación orientada a la recuperación: monitoreo de seguridad y vitalidad en tiempo de ejecución". Revista internacional de herramientas de software para la transferencia de tecnología . 13 (4): 377–395. doi : 10.1007 / s10009-011-0200-3 . ISSN 1433-2779 . S2CID 38141213 .
- ^ 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 Confiabilidad, 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 .
- ^ Cohen, Eyal; Dolev, Shlomi; Rosenblit, Michael (19 de julio de 2012). Un multiplicador de matriz vectorial de nanoóptica para implementar máquinas de estado . Supercomputación óptica . Apuntes de conferencias en Ciencias de la Computación. Springer, Berlín, Heidelberg. págs. 78–91. doi : 10.1007 / 978-3-642-38250-5_9 . ISBN 9783642382499.
- ^ Bitan, Dor; Dolev, Shlomi (2019). "Rotar aleatoriamente Qubits calcular y revertir --- Cálculos cuánticos homomórficos totalmente compactos no interactivos seguros de TI sobre datos clásicos utilizando bases aleatorias" . Cite journal requiere
|journal=
( ayuda )
enlaces externos
- Página de inicio de Shlomi Dolev en la Universidad Ben-Gurion.
- "Shlomi Dolev" . Proyecto de genealogía matemática .