stringtranslate.com

Rachid Guerraoui

Rachid Guerraoui (nacido el 5 de enero de 1967) es un informático marroquí-suizo y profesor titular en la Escuela de Ciencias de la Computación y la Comunicación (IC) de la EPFL , conocido por sus contribuciones en los campos de la computación concurrente y distribuida . [1] [2] Es miembro de la ACM [3] y editor asociado (de área) del Journal of the ACM . [4] En 2018-19, ocupó el puesto de presidente de Informática y Ciencias Computacionales para Computación Distribuida en el Collège de France . [5]

Educación y carrera

Guerraoui nació el 5 de enero de 1967 en Rabat , Marruecos . Su padre, Mohammed Guerraoui, es profesor de matemáticas y ex wali (gobernador) de Marrakech . Su madre, Fatima Rahmoun-Guerraoui, es profesora de francés. Después de obtener su bachillerato en 1984, dejó Marruecos para Francia. Guerraoui obtuvo simultáneamente maestrías en Ingeniería Informática de la École supérieure d'informatique électronique automatique (ESIEA) y en Ciencias de la Computación de la Universidad Pierre y Marie Curie en 1989, con el apoyo de una beca en el Centre de Recherche de la École des Mines de París. En 1992, obtuvo su doctorado de la Université d'Orsay , asesorado por Christian Fluhr y apoyado por la Comisión Francesa de Energías Alternativas y Energía Atómica de Saclay. Su tesis doctoral se tituló Programmation Répartie par Objets: Études et Propositions . [6] Luego comenzó como investigador postdoctoral en EPFL y fue designado para la facultad de informática en 1999, después de períodos en HP Labs y MIT . [7] [8] [9] [10] [11] [12]

Los honores de Guerraoui incluyen un premio ERC Advanced Grant (2013), [13] el premio Google Focused Award (2014), [14] los premios Middleware 2014 Best Paper y 10-Years Best Paper Awards, [15] y el premio Dahl–Nygaard Senior Prize (2024). [16] Fue nombrado miembro de la ACM en 2012 [3] y fue designado presidente de Informática y Ciencias Computacionales para Computación Distribuida, 2018-2019, por el Collège de France [5] —el primer marroquí en recibir cualquiera de estos nombramientos. [11] [10]

Con varios colaboradores, Guerraoui ha escrito varios libros técnicos y de público general:

También es editor asociado (de área) del Journal of the ACM . [4]

Guerraoui también trabaja en la divulgación de la informática. Junto con su estudiante de doctorado El Mahdi El Mahmdi, creó el proyecto Wandida, una colección de vídeos educativos con licencias permisivas en YouTube. [17]

Guerraoui mantiene fuertes vínculos con Marruecos a través de su participación en el debate público y la vida política marroquí. [18] [11] En diciembre de 2019, fue nombrado por el Rey Mohammed VI como miembro del Comité Especial sobre el Modelo de Desarrollo. [19]

Áreas de investigación focales y principales publicaciones

Guerraoui trabajó en el establecimiento de las bases teóricas de la memoria transaccional (TM). Fue uno de los coautores de la definición de un concepto que llamó opacidad [20], utilizado para establecer la corrección de las TM. En el aspecto práctico, fue uno de los coautores de las transacciones elásticas [21] y del diseño de SwissTM [22] , una memoria transaccional de software (STM) de alto rendimiento, así como un punto de referencia para los sistemas de TM, STMBench7. [23]

Anteriormente, Guerraoui estudió métodos escalables de difusión de información. Su artículo sobre la transmisión ligera de epidemias [24] fue el primero en considerar las vistas parciales y/o desincronizadas de diferentes procesos en un sistema distribuido basado en chismes. Este artículo, junto con el artículo de Guerraoui sobre el servicio de membresía subyacente, [25] obtuvo más de 1250 citas combinadas hasta 2018, entre las que se incluyen varios artículos teóricos sobre el análisis de protocolos de chismes en entornos realistas. [26]

Rachid Guerraoui tiene un historial probado de investigación de los fundamentos de los cálculos distribuidos asincrónicos. Por ejemplo, Guerraoui co-estableció límites inferiores para el chisme y el renombrado asincrónicos. [27] [28] Además, demostró resultados fundamentales sobre las relaciones entre los problemas de computación distribuida clásica, como el compromiso atómico [29] y el consenso , para lo cual ayudó a cerrar el problema entonces abierto del detector de fallas más débil para el consenso con cualquier número de fallas y co-estableció una nueva clasificación de problemas de computación distribuida. [30] Guerraoui co-definió además una metodología general para construir estructuras de datos asincrónicas altamente concurrentes [31] [32] y ha demostrado cómo la asincronía puede ayudar a construir números pseudoaleatorios. [33]

Guerraoui inventó la abstracción matemática de la indulgencia [34] para capturar con precisión la esencia de los algoritmos asincrónicos cuya seguridad no depende de suposiciones de tiempo, como Paxos de Lamport o PBFT de Castro- Liskov . Guerraoui utilizó ese concepto para co-definir un marco general para protocolos distribuidos seguros y confiables. [35]

Referencias

  1. ^ "dblp: Rachid Guerraoui". dblp.uni-trier.de . Consultado el 22 de octubre de 2018 .
  2. ^ "EPFL - DCL - Rachid GUERRAOUI". lpdwww.epfl.ch . Consultado el 22 de octubre de 2018 .
  3. ^ ab "Ganadores del premio". Association for Computing Machinery . Consultado el 4 de octubre de 2024 .
  4. ^ ab "ACM JACM". Revista de la ACM . Consultado el 4 de octubre de 2024 .
  5. ^ ab Sayed, Inka (15 de junio de 2018). "Rachid Guerraoui nombrado presidente digital del Collège de France" (Presione soltar). Lausana, Suiza: EPFL .
  6. ^ "Rachid Guerraoui". Proyecto de genealogía matemática . Consultado el 4 de octubre de 2024 .
  7. ^ "Rachid Guerraoui: biografía y obra actual". EPFL . Consultado el 22 de octubre de 2018 .
  8. ^ Jmahri, Mustapha (23 de julio de 2019). "Rachid Guerraoui du DHJ au collège de France". Mazagan24 - Portal d'El Jadida (en francés) . Consultado el 14 de febrero de 2020 .
  9. ^ "Le passeport suisse et moi. Rachid Guerraoui: 'Les policiers m'ont offert un verre de blanc'". Le Temps (en francés). 2016-01-07. ISSN  1423-3967 . Consultado el 14 de septiembre de 2020 .
  10. ^ ab Jérémie, David (29 de julio de 2023). "RETRATO. Rachid Guerraoui, eminente profesor de la Escuela Politécnica de Lausana, détenteur d'unechaire au collège de France" (en francés). Desafío. Archivado desde el original el 27 de septiembre de 2023 . Consultado el 4 de octubre de 2024 .
  11. ^ abc El Bouzdaini, Wissam (26 de junio de 2018). "Rachid Guerraoui, sommité du domaine informatique" (en francés). Marruecos Hebdo. Archivado desde el original el 15 de agosto de 2018 . Consultado el 4 de octubre de 2024 .
  12. ^ Guerraoui, Rachid. "CV". Rachid GUERRAOUI . DCL, EPFL . Consultado el 4 de octubre de 2024 .
  13. ^ "Guerraoui gana una subvención del CEI". EcoCloud . 17 de septiembre de 2013 . Consultado el 22 de octubre de 2018 .
  14. ^ Madry, Kamila (4 de noviembre de 2013). "El profesor Rachid Guerraoui recibió un premio Google Focused Award" (Comunicado de prensa). Lausana, Suiza: EPFL .
  15. ^ Walther, Alexandra (17 de diciembre de 2014). "Middleware 2014 y premio al mejor artículo de los 10 años para Rachid Guerraoui" (nota de prensa). Lausana, Suiza: EPFL .
  16. ^ "Documentos técnicos". ECOOP 2024. Consultado el 4 de octubre de 2024 .
  17. ^ Kazar, Yassir (8 de mayo de 2014). "Educación en línea: Wandida, esto no es un MOOC". Open Knowledge Foundation. Archivado desde el original el 29 de agosto de 2024. Consultado el 1 de octubre de 2024 .
  18. ^ "Rachid Guerraoui:" Je n'habite pas le Maroc mais le Maroc m'habite "(REPLAY)". 2M (en francés) . Consultado el 14 de febrero de 2020 .
  19. ^ "Composición del Comité Especial sobre el Modelo de Desarrollo". www.mapnews.ma . Rabat: Agence Marocaine de Presse. 2019-12-12 . Consultado el 2020-02-14 .
  20. ^ Guerraoui, Rachid; Kapałka, Michał (2008). "Sobre la corrección de la memoria transaccional". Actas del 13.º Simposio ACM SIGPLAN sobre principios y práctica de la programación paralela - PPoPP '08 . pág. 175. CiteSeerX 10.1.1.164.9537 . doi :10.1145/1345206.1345233. ISBN  9781595937957.S2CID 1550577  .
  21. ^ Felber, Pascal; Gramoli, Vincent; Guerraoui, Rachid (2017). "Transacciones elásticas". Revista de computación paralela y distribuida . 100 : 103–127. doi :10.1016/j.jpdc.2016.10.010.
  22. ^ Dragojevik, Aleksandar; Felber, Pascal; Gramoli, Vicente; Guerraoui, Rachid (2011). "Por qué STM puede ser más que un juguete de investigación". Comunicaciones de la ACM . 54 (4): 70. CiteSeerX 10.1.1.164.8994 . doi :10.1145/1924421.1924440. S2CID  12568524. 
  23. ^ Guerraoui, Rachid; Kapałka, Michał; Vitek, enero (2007). "STMBench7". Revisión de los sistemas operativos ACM SIGOPS . 41 (3): 315. doi : 10.1145/1272998.1273029.
  24. ^ Eugster, P. Th.; Guerraoui, R.; Handurukande, SB; Kouznetsov, P.; Kermarrec, A.-M. (2003). "Transmisión probabilística ligera". ACM Transactions on Computer Systems . 21 (4): 341–374. CiteSeerX 10.1.1.100.9532 . doi :10.1145/945506.945507. S2CID  6875620. 
  25. ^ Jelasidad, Márk; Voulgaris, Spyros; Guerraoui, Rachid; Kermarrec, Anne-Marie; Van Steen, Martín (2007). "Muestreo de pares basado en chismes". Transacciones ACM en sistemas informáticos . 25 (3): 8–es. CiteSeerX 10.1.1.310.501 . doi :10.1145/1275517.1275520. S2CID  6266183. 
  26. ^ "rachid guerraoui - Citas de Google Académico". scholar.google.com . Consultado el 22 de octubre de 2018 .
  27. ^ Georgiou, Chryssis; Gilbert, Seth; Guerraoui, Rachid; Kowalski, Dariusz R. (2013). "Chismes asincrónicos". Revista de la ACM . 60 (2): 1–42. doi :10.1145/2450142.2450147. S2CID  7901743.
  28. ^ Alistarh, Dan; Aspnes, James; Censor-Hillel, Keren; Gilbert, Seth; Guerraoui, Rachid (2014). "Límites estrictos para el cambio de nombre asincrónico". Revista de la ACM . 61 (3): 1–51. CiteSeerX 10.1.1.431.2007 . doi :10.1145/2597630. S2CID  9813419. 
  29. ^ Guerraoui, Rachid (2002). "Compromiso atómico no bloqueante en sistemas distribuidos asincrónicos con detectores de fallos". Computación distribuida . 15 : 17–25. CiteSeerX 10.1.1.19.5491 . doi :10.1007/s446-002-8027-4. S2CID  72867. 
  30. ^ Fauconnier, Carole Delporte-Gallet Hugues; Guerraoui, Rachid (2010). "Límites estrictos de detección de fallas en implementaciones de objetos atómicos". Revista de la ACM . 57 (4): 1–32. CiteSeerX 10.1.1.165.8950 . doi :10.1145/1734213.1734216. S2CID  11566298. 
  31. ^ David, Tudor; Guerraoui, Rachid; Trigonakis, Vasileios (2013). "Todo lo que siempre quiso saber sobre sincronización pero tenía miedo de preguntar". Actas del vigésimo cuarto simposio de la ACM sobre principios de sistemas operativos - SOSP '13 . págs. 33–48. CiteSeerX 10.1.1.593.2182 . doi :10.1145/2517349.2522714. ISBN .  9781450323888.S2CID10176747  .​
  32. ^ David, Tudor; Guerraoui, Rachid; Trigonakis, Vasileios (2015). "Concurrencia asincrónica". Avisos ACM SIGPLAN . 50 (4): 631–644. doi : 10.1145/2775054.2694359 .
  33. ^ Antoniadis, Karolos; Blanchard, Peva; Guerraoui, Rachid; Stainer, Julien (2018). "La entropía de una generación de números aleatorios de computación distribuida a partir de intercalación de memoria". Computación distribuida . 31 (5): 389–417. doi :10.1007/s00446-017-0311-5. S2CID  24299793.
  34. ^ Guerraoui, Rachid (2000). "Algoritmos indulgentes (versión preliminar)". Actas del decimonoveno simposio anual de la ACM sobre Principios de computación distribuida - PODC '00 . págs. 289–297. CiteSeerX 10.1.1.583.6812 . doi :10.1145/343477.343630. ISBN  978-1581131833. Número de identificación del sujeto  16791929.
  35. ^ Aublin, Pierre-Louis; Guerraoui, Rachid; Knežević, Nikola; Quéma, Vivien; Vukolić, Marko (2015). "Los próximos 700 protocolos BFT". Transacciones ACM en sistemas informáticos . 32 (4): 1–45. doi :10.1145/2658994. S2CID  900359.