Rachid Guerraoui

Rachid Guerraoui
Born (1967-01-05) January 5, 1967 (age 57)
Rabat, Morocco
CitizenshipMorocco, Switzerland
Alma mater
Known fordistributed computing, concurrent computing, popular science
Awards
Scientific career
FieldsComputer science
InstitutionsEPFL, HP Labs
Thesis Programmation Répartie par Objets : Études et Propositions  (1992)
Doctoral advisorChristian Fluhr
Websitedcl.epfl.ch/rachid/

Rachid Guerraoui (born January 5, 1967) is a Moroccan-Swiss-French [1] computer scientist and a Full Professor in the School of Computer and Communication Sciences (IC) at EPFL, known for his contributions in the fields of concurrent and distributed computing.[2][3] He is an ACM Fellow[4] and an associate (area) editor of the Journal of the ACM.[5] In 2018–19, he held the position of Chair in Informatics and Computational Science for Distributed Computing at the Collège de France.[6]

Education and career

Guerraoui was born on January 5, 1967, in Rabat, Morocco. His father, Mohammed Guerraoui, is a teacher of mathematics and former wali (governor) of Marrakesh. His mother, Fatima Rahmoun-Guerraoui, is a teacher of French. After getting his baccalaureate in 1984, he left Morocco for France. Guerraoui earned simultaneous Master’s degrees in Computer Engineering from the École supérieure d'informatique électronique automatique (ESIEA) and in Computer Science from the Pierre and Marie Curie University in 1989, supported by a scholarship at the Centre de Recherche of the École des Mines of Paris. In 1992, he earned his PhD from the Université d’Orsay, advised by Christian Fluhr and supported by the French Alternative Energies and Atomic Energy Commission of Saclay. His doctoral dissertation was titled Programmation Répartie par Objets : Études et Propositions.[7] He then started as a postdoctoral researcher at EPFL and was appointed to the computer science faculty in 1999, after stints at HP Labs and MIT.[8][9][10][11][12][13]

Guerraoui's honors include an ERC Advanced Grant Award (2013),[14] the Google Focused Award (2014),[15] the Middleware 2014 Best Paper and 10-Years Best Paper Awards,[16] and the Dahl–Nygaard Senior Prize (2024).[17] He was named an ACM Fellow in 2012[4] and was appointed Chair in Informatics and Computational Science for Distributed Computing, 2018–2019, by the Collège de France[6]—the first Moroccan to receive either appointment.[12][11]

With various collaborators, Guerraoui has written several technical and general-audience books:

  • Guerraoui, Rachid; Gupta, Nirupam; Pinot, Rafael (2024). Robust Machine Learning: Distributed Methods for Safe AI. Machine Learning: Foundations, Methodologies, and Applications. Singapore: Springer. doi:10.1007/978-981-97-0688-4. ISBN 978-981-97-0690-7. ISSN 2730-9908.
  • Guerraoui, Rachid; Hoang, Lê Nguyên (2020). Turing à la plage : L'intelligence artificielle dans un transat (in French). Dunod. ISBN 9782100795550.
  • Guerraoui, Rachid (2019). L'algorithmique répartie : À la recherche de l'universalité perdue. Leçons inaugurales du Collège de France (in French). Fayard. ISBN 9782213712406.
  • Guerraoui, Rachid; Kuznetsov, Petr (2018). Algorithms for Concurrent Systems. EPFL Press. ISBN 9782889152834.
  • Cachin, Christopher; Guerraoui, Rachid; Rodrigues, Luís (2011). Introduction to Reliable and Secure Distributed Programming. Springer. ISBN 9783642152597.
  • Guerraoui, Rachid; Kapałka, Michał (2010). Principles of Transactional Memory. Synthesis Lectures on Distributed Computing Theory. Springer. doi:10.2200/s00253ed1v01y201009dct004. ISBN 978-3-031-00874-0. ISSN 2155-1626. S2CID 27967459.
  • Besancenot, Jérôme; Cart, Michèle; Ferrié, Jean; Guerraoui, Rachid; Pucheral, Philippe; Traverson, Bruno (1997). Les systèmes transactionnels : Concepts, normes et produits (in French). Paris: Lavoisier-Hermès. ISBN 9782866016456.

He is also an associate (area) editor of the Journal of the ACM.[5]

Guerraoui also works on the popularization of computer science. With his doctoral student El Mahdi El Mahmdi, he created the Wandida project, a collection of permissively licensed educational videos on YouTube.[18]

Guerraoui maintains strong ties to Morocco through his participation in the public debate and the Moroccan political life.[19][12] In December 2019, he was appointed by King Mohammed VI as a member of the Special Committee on Model of Development.[20]

Focal research areas and main publications

Guerraoui worked on establishing theoretical foundations of Transactional Memory (TM). He co-defined a concept he called opacity,[21] used for establishing correctness of TMs. On the practical side, he co-devised elastic transactions[22] and co-designed SwissTM,[23] a throughput-efficient software transactional memory (STM) as well as a benchmark for TM systems, STMBench7.[24]

Earlier, Guerraoui studied scalable information dissemination methods. His paper on lightweight epidemic broadcast[25] was the first to consider the partial and/or out-of-sync views of different processes in a gossip-based distributed system. This paper, together with Guerraoui's paper on the underlying membership service,[26] gained over 1250 citations combined as of 2018, among which a number of theory papers on the analysis of gossip protocols in realistic settings.[27]

Rachid Guerraoui has a proven record of investigating the foundations of asynchronous distributed computations. For instance, Guerraoui co-established lower bounds for asynchronous gossiping and renaming.[28][29] He further proved fundamental results on the relationships between classical distributed computing problems, such as atomic commitment[30] and consensus, for which he helped close the then open problem of the weakest failure detector for consensus with any number of faults and co-established a new classification of distributed computing problems.[31] Guerraoui further co-defined a general methodology to build highly concurrent asynchronous data structures[32][33] and has shown how asynchrony can help build pseudo-random numbers.[34]

Guerraoui invented the mathematical abstraction of indulgence[35] to precisely capture the essence of asynchronous algorithms of which safety does not depend on timing assumptions, such as Lamport's Paxos or Castro-Liskov's PBFT. Guerraoui used that concept to co-define a general framework for secure and reliable distributed protocols.[36]

References

  1. ^ "Rachid Guerraoui, EPFL profil".
  2. ^ "dblp: Rachid Guerraoui". dblp.uni-trier.de. Retrieved 2018-10-22.
  3. ^ "EPFL - DCL - Rachid GUERRAOUI". lpdwww.epfl.ch. Retrieved 2018-10-22.
  4. ^ a b "Award recipients". Association for Computing Machinery. Retrieved 4 October 2024.
  5. ^ a b "ACM JACM". Journal of the ACM. Retrieved 2024-10-04.
  6. ^ a b Sayed, Inka (2018-06-15). "Rachid Guerraoui appointed Digital Chair by Collège de France" (Press release). Lausanne, Switzerland: EPFL.
  7. ^ "Rachid Guerraoui". Mathematics Genealogy Project. Retrieved 4 October 2024.
  8. ^ "Rachid Guerraoui : Biography and current work". EPFL. Retrieved 2018-10-22.
  9. ^ Jmahri, Mustapha (2019-07-23). "Rachid Guerraoui du DHJ au collège de France". Mazagan24 - Portail d'El Jadida (in French). Retrieved 2020-02-14.
  10. ^ "Le passeport suisse et moi. Rachid Guerraoui: 'Les policiers m'ont offert un verre de blanc'". Le Temps (in French). 2016-01-07. ISSN 1423-3967. Retrieved 2020-09-14.
  11. ^ a b Jérémie, David (29 Jul 2023). "PORTRAIT. Rachid Guerraoui, éminent professeur à l'Ecole Polytechnique de Lausanne, détenteur d'une chaire au collège de France" (in French). Challenge. Archived from the original on 2023-09-27. Retrieved 4 October 2024.
  12. ^ a b c El Bouzdaini, Wissam (26 Jun 2018). "Rachid Guerraoui, sommité du domaine informatique" (in French). Maroc Hebdo. Archived from the original on 2018-08-15. Retrieved 4 October 2024.
  13. ^ Guerraoui, Rachid. "CV". Rachid GUERRAOUI. DCL, EPFL. Retrieved 4 October 2024.
  14. ^ "Guerraoui Wins an ERC Grant". EcoCloud. 2013-09-17. Retrieved 2018-10-22.
  15. ^ Madry, Kamila (2013-11-04). "Prof. Rachid Guerraoui received a Google Focused Award" (Press release). Lausanne, Switzerland: EPFL.
  16. ^ Walther, Alexandra (2014-12-17). "Middleware 2014 and 10-Years Best Paper Award for Rachid Guerraoui" (Press release). Lausanne, Switzerland: EPFL.
  17. ^ "Technical papers". ECOOP 2024. Retrieved 4 October 2024.
  18. ^ Kazar, Yassir (2014-05-08). "Online education : Wandida, this is not a MOOC". Open Knowledge Foundation. Archived from the original on 2024-08-29. Retrieved 1 October 2024.
  19. ^ "Rachid Guerraoui: "Je n'habite pas le Maroc mais le Maroc m'habite" (REPLAY)". 2M (in French). Retrieved 2020-02-14.
  20. ^ "Composition of Special Committee on Model of Development". www.mapnews.ma. Rabat: Agence Marocaine de Presse. 2019-12-12. Retrieved 2020-02-14.
  21. ^ Guerraoui, Rachid; Kapałka, Michał (2008). "On the correctness of transactional memory". Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming - PPoPP '08. p. 175. CiteSeerX 10.1.1.164.9537. doi:10.1145/1345206.1345233. ISBN 9781595937957. S2CID 1550577.
  22. ^ Felber, Pascal; Gramoli, Vincent; Guerraoui, Rachid (2017). "Elastic transactions". Journal of Parallel and Distributed Computing. 100: 103–127. doi:10.1016/j.jpdc.2016.10.010.
  23. ^ Dragojevik, Aleksandar; Felber, Pascal; Gramoli, Vincent; Guerraoui, Rachid (2011). "Why STM can be more than a research toy". Communications of the ACM. 54 (4): 70. CiteSeerX 10.1.1.164.8994. doi:10.1145/1924421.1924440. S2CID 12568524.
  24. ^ Guerraoui, Rachid; Kapałka, Michał; Vitek, Jan (2007). "STMBench7". ACM SIGOPS Operating Systems Review. 41 (3): 315. doi:10.1145/1272998.1273029.
  25. ^ Eugster, P. Th.; Guerraoui, R.; Handurukande, S. B.; Kouznetsov, P.; Kermarrec, A.-M. (2003). "Lightweight probabilistic broadcast". ACM Transactions on Computer Systems. 21 (4): 341–374. CiteSeerX 10.1.1.100.9532. doi:10.1145/945506.945507. S2CID 6875620.
  26. ^ Jelasity, Márk; Voulgaris, Spyros; Guerraoui, Rachid; Kermarrec, Anne-Marie; Van Steen, Maarten (2007). "Gossip-based peer sampling". ACM Transactions on Computer Systems. 25 (3): 8–es. CiteSeerX 10.1.1.310.501. doi:10.1145/1275517.1275520. S2CID 6266183.
  27. ^ "rachid guerraoui - Google Scholar Citations". scholar.google.com. Retrieved 2018-10-22.
  28. ^ Georgiou, Chryssis; Gilbert, Seth; Guerraoui, Rachid; Kowalski, Dariusz R. (2013). "Asynchronous gossip". Journal of the ACM. 60 (2): 1–42. doi:10.1145/2450142.2450147. S2CID 7901743.
  29. ^ Alistarh, Dan; Aspnes, James; Censor-Hillel, Keren; Gilbert, Seth; Guerraoui, Rachid (2014). "Tight Bounds for Asynchronous Renaming". Journal of the ACM. 61 (3): 1–51. CiteSeerX 10.1.1.431.2007. doi:10.1145/2597630. S2CID 9813419.
  30. ^ Guerraoui, Rachid (2002). "Non-blocking atomic commit in asynchronous distributed systems with failure detectors". Distributed Computing. 15: 17–25. CiteSeerX 10.1.1.19.5491. doi:10.1007/s446-002-8027-4. S2CID 72867.
  31. ^ Fauconnier, Carole Delporte-Gallet Hugues; Guerraoui, Rachid (2010). "Tight failure detection bounds on atomic object implementations". Journal of the ACM. 57 (4): 1–32. CiteSeerX 10.1.1.165.8950. doi:10.1145/1734213.1734216. S2CID 11566298.
  32. ^ David, Tudor; Guerraoui, Rachid; Trigonakis, Vasileios (2013). "Everything you always wanted to know about synchronization but were afraid to ask". Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles - SOSP '13. pp. 33–48. CiteSeerX 10.1.1.593.2182. doi:10.1145/2517349.2522714. ISBN 9781450323888. S2CID 10176747.
  33. ^ David, Tudor; Guerraoui, Rachid; Trigonakis, Vasileios (2015). "Asynchronized Concurrency". ACM SIGPLAN Notices. 50 (4): 631–644. doi:10.1145/2775054.2694359.
  34. ^ Antoniadis, Karolos; Blanchard, Peva; Guerraoui, Rachid; Stainer, Julien (2018). "The entropy of a distributed computation random number generation from memory interleaving". Distributed Computing. 31 (5): 389–417. doi:10.1007/s00446-017-0311-5. S2CID 24299793.
  35. ^ Guerraoui, Rachid (2000). "Indulgent algorithms (preliminary version)". Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing - PODC '00. pp. 289–297. CiteSeerX 10.1.1.583.6812. doi:10.1145/343477.343630. ISBN 978-1581131833. S2CID 16791929.
  36. ^ Aublin, Pierre-Louis; Guerraoui, Rachid; Knežević, Nikola; Quéma, Vivien; Vukolić, Marko (2015). "The Next 700 BFT Protocols". ACM Transactions on Computer Systems. 32 (4): 1–45. doi:10.1145/2658994. S2CID 900359.