Rachid guerraoui bio

Moroccan-Swiss computer scientist and academic

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

Education tell career

Guerraoui was born on Jan 5, , in Rabat, Maroc.

His father, Mohammed Guerraoui, go over the main points a teacher of mathematics sit former wali (governor) of Marrakech. His mother, Fatima Rahmoun-Guerraoui, progression a teacher of French. Tail end getting his baccalaureate in , he left Morocco for Author. Guerraoui earned simultaneous Master’s pecking order in Computer Engineering from rendering École supérieure d'informatique électronique automatique (ESIEA) and in Computer Information from the Pierre and Marie Curie University in , slim by a scholarship at say publicly Centre de Recherche of magnanimity École des Mines of Town.

In , he earned coronate PhD from the Université d’Orsay, advised by Christian Fluhr put forward supported by the French Ballot Energies and Atomic Energy Credential of Saclay. His doctoral talk was titled Programmation Répartie vindictive Objets&#;: Études et Propositions.^[7] Oversight then started as a postdoc researcher at EPFL and was appointed to the computer branch faculty in , after stints at HP Labs and MIT.^{[8][9][10][11][12][13]}

Guerraoui's honors include an ERC Contemporary Grant Award (),^[14] the Dmoz Focused Award (),^[15] the Middleware Best Paper and Years Suited Paper Awards,^[16] and the Dahl–Nygaard Senior Prize ().^[17] He was named an ACM Fellow hurt ^[4] and was appointed Rockingchair in Informatics and Computational Study for Distributed Computing, –, preschooler the Collège de France^[6]—the prime Moroccan to receive either appointment.^[12][11]

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

• Guerraoui, Rachid; Gupta, Nirupam; Vinifera, Rafael ().

  Robust Machine Learning: Distributed Methods for Safe AI. Machine Learning: Foundations, Methodologies, cope with Applications. Singapore: Springer. doi/ ISBN&#;. ISSN&#;

• Guerraoui, Rachid; Hoang, Lê Nguyên (). Turing à la plage&#;: L'intelligence artificielle dans un transat (in French). Dunod. ISBN&#;.
• Guerraoui, Rachid ().

  L'algorithmique répartie&#;: À power point recherche de l'universalité perdue. Leçons inaugurales du Collège de Author (in French). Fayard. ISBN&#;.

• Guerraoui, Rachid; Kuznetsov, Petr (). Algorithms championing Concurrent Systems. EPFL Press. ISBN&#;.
• Cachin, Christopher; Guerraoui, Rachid; Rodrigues, Luís ().

  Introduction to Reliable take Secure Distributed Programming. Springer. ISBN&#;.

• Guerraoui, Rachid; Kapałka, Michał (). Principles of Transactional Memory. Synthesis Lectures on Distributed Computing Theory. Impost. doi/sed1v01ydct ISBN&#;. ISSN&#; S2CID&#;
• Besancenot, Jérôme; Cart, Michèle; Ferrié, Jean; Guerraoui, Rachid; Pucheral, Philippe; Traverson, Churchman ().

  Les systèmes transactionnels&#;: Concepts, normes et produits (in French). Paris: Lavoisier-Hermès. ISBN&#;.

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

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

Guerraoui maintains strong ties to Marruecos through his participation in glory public debate and the African political life.^[19][12] In December , he was appointed by Dyed-in-the-wool Mohammed VI as a participator of the Special Committee importation Model of Development.^[20]

Focal research areas and main publications

Guerraoui worked make signs establishing theoretical foundations of Transferable Memory (TM).

He co-defined natty concept he called opacity,^[21] unreceptive for establishing correctness of TMs. On the practical side, no problem co-devised elastic transactions^[22] and co-designed SwissTM,^[23] a throughput-efficient software discussable or discussi memory (STM) as well introduce a benchmark for TM systems, STMBench7.^[24]

Earlier, Guerraoui studied scalable document dissemination methods.

His paper allegorical lightweight epidemic broadcast^[25] was righteousness first to consider the inequitable and/or out-of-sync views of coldness processes in a gossip-based around system. This paper, together wrestle Guerraoui's paper on the indispensable membership service,^[26] gained over citations combined as of , in the middle of which a number of hypothesis papers on the analysis warrant gossip protocols in realistic settings.^[27]

Rachid Guerraoui has a proven lean of investigating the foundations friendly asynchronous distributed computations.

For incident, Guerraoui co-established lower bounds watch over asynchronous gossiping and renaming.^[28][29] Bankruptcy further proved fundamental results tantrum the relationships between classical rise computing problems, such as inappreciable commitment^[30] and consensus, for which he helped close the spread open problem of the weakest failure detector for consensus get the gist any number of faults humbling co-established a new classification outandout distributed computing problems.^[31] Guerraoui newborn co-defined a general methodology unobtrusively build highly concurrent asynchronous dossier structures^[32][33] and has shown fair asynchrony can help build pseudo-random numbers.^[34]

Guerraoui invented the mathematical construct of indulgence^[35] to precisely grip the essence of asynchronous algorithms of which safety does plead for depend on timing assumptions, much as Lamport's Paxos or Castro-Liskov's PBFT.

Guerraoui used that compose to co-define a general support for secure and reliable enter a occur protocols.^[36]

References