Rachid Guerraoui

Rachid Guerraoui (född 5 januari 1967) är en marockansk-schweizisk datavetare och professor vid School of Computer and Communication Sciences vid École Polytechnique Fédérale de Lausanne (EPFL), känd för sina bidrag inom områdena samtidig och distribuerad datoranvändning . Han är ACM Fellow och ordförande i informatik och beräkningsvetenskap för år 2018–2019 vid Collège de France för distribuerad datoranvändning.

Utbildning och karriär

Rachid föddes den 5 januari 1967 i Rabat , Marocko . Hans far, Mohammed Guerraoui, är lärare i matematik och tidigare Wali (guvernör) i Marrakech . Hans mor, Fatima Rahmoun-Guerraoui, är lärare i franska. Efter att ha tagit sin studentexamen 1984 lämnade han Marocko för Frankrike.

Guerraoui tog sin doktorsexamen från University of Orsay (1992) och har varit knuten till Ecole des Mines i Paris, Commissariat à l'Energie Atomique of Saclay, Hewlett Packard Laboratories och Massachusetts Institute of Technology . Han är en associerad (område) redaktör för Journal of the ACM och är medförfattare till flera böcker, inklusive "Algorithms for Concurrent Systems", "Introduction to Reliable and Secure Distributed Programming" och "Principles of Transactional Memory". Han vann en ERC Advanced Grant Award (2013) och Google Focused Award (2014).

Tillsammans med sina medarbetare mottog Guerraoui Best Paper Awards vid följande vetenskapliga konferenser: ACM Middleware (2016, 2014, 2012), ICDCN (2011), Eurosys (2010), DISC (2010) och OPODIS (2006). Han fick också priset 10-åriga bästa papper på Middleware 2014,

Utöver sitt vetenskapliga och akademiska arbete arbetar Guerraoui med populariseringen av datavetenskap. Han var med och initierade Wandidas undervisningsprojekt på YouTube , ett bibliotek med 300++ videor om datavetenskap och matematik med 2,5 miljoner visningar och över 25 tusen prenumeranter, samt Zettabytes utbildningsprojekt, ett bibliotek med videor relaterade till introduktion av stora datorer vetenskapliga upptäckter och öppna problem för allmänheten.

Rachid har starka band till Marocko genom sitt deltagande i den offentliga debatten och det marockanska politiska livet. I december 2019 utsågs han av kung Mohammed VI till medlem av Special Committee on Model of Development.

Fokala forskningsområden och huvudpublikationer

Guerraoui arbetade med att etablera teoretiska grunder för Transactional Memory ( TM). Han var med och definierade ett koncept som han kallade opacitet, som användes för att fastställa riktigheten av TM:er. På den praktiska sidan utformade han elastiska transaktioner och samdesignade SwissTM, ett genomströmningseffektivt transaktionsminne för mjukvara (STM) samt ett riktmärke för TM-system, STMBench7.

Tidigare studerade Guerraoui skalbara metoder för informationsspridning. Hans uppsats om lättviktsepidemisändningar var den första som övervägde de partiella och/eller osynkroniserade synpunkterna på olika processer i ett skvallerbaserat distribuerat system. Den här uppsatsen, tillsammans med Guerraouis papper om den underliggande medlemstjänsten, fick över 1250 sammanlagda citeringar från och med 2018, bland annat ett antal teoriuppsatser om analys av skvallerprotokoll i realistiska miljöer.

Rachid Guerraoui har en dokumenterad erfarenhet av att undersöka grunderna för asynkrona distribuerade beräkningar. Till exempel, Guerraoui co-etablerade nedre gränser för asynkront skvaller och byta namn. Han bevisade vidare grundläggande resultat om sambanden mellan klassiska distribuerade datorproblem, såsom atomärt engagemang och konsensus , för vilka han hjälpte till att stänga det då öppna problemet med den svagaste feldetektorn för konsensus med ett antal fel och samupprättade en ny klassificering av distribuerade datorproblem. Guerraoui har vidare definierat en allmän metod för att bygga mycket samtidiga asynkrona datastrukturer och har visat hur asynkron kan hjälpa till att bygga pseudoslumptal.

fånga essensen av asynkrona algoritmer vars säkerhet inte beror på timingantaganden, som Lamports Paxos eller Castro- Liskovs PBFT . Guerraoui använde det konceptet för att meddefiniera ett allmänt ramverk för säkra och tillförlitliga distribuerade protokoll.