Rachid Guerraoui

Rachid Guerraoui (ur. 5 stycznia 1967) to marokańsko-szwajcarski informatyk i profesor w Szkole Informatyki i Komunikacji w École Polytechnique Fédérale de Lausanne (EPFL), znany ze swojego wkładu w dziedzinie obliczeń współbieżnych i rozproszonych . Jest stypendystą ACM i katedrą informatyki i nauk obliczeniowych na rok 2018–2019 w Collège de France w zakresie przetwarzania rozproszonego.

Edukacja i kariera

Rachid urodził się 5 stycznia 1967 roku w Rabacie w Maroku . Jego ojciec, Mohammed Guerraoui, jest nauczycielem matematyki i byłym wali (gubernatorem) Marrakeszu . Jego matka, Fatima Rahmoun-Guerraoui, jest nauczycielką języka francuskiego. Po uzyskaniu matury w 1984 roku wyjechał z Maroka do Francji.

Guerraoui uzyskał stopień doktora na Uniwersytecie w Orsay (1992) i był związany z Ecole des Mines w Paryżu, Commissariat à l'Energie Atomique of Saclay, Hewlett Packard Laboratories i Massachusetts Institute of Technology . Jest współpracownikiem (obszarowym) redaktorem Journal of the ACM i jest współautorem kilku książek, w tym „Algorytmów dla systemów współbieżnych”, „Wstępu do niezawodnego i bezpiecznego programowania rozproszonego” oraz „Principles of Transactional Memory”. Zdobył nagrodę ERC Advanced Grant Award (2013) oraz nagrodę Google Focused Award (2014).

Wraz ze współpracownikami Guerraoui otrzymał nagrody Best Paper Awards na konferencjach naukowych: ACM Middleware (2016, 2014, 2012), ICDCN (2011), Eurosys (2010), DISC (2010) i OPODIS (2006). Otrzymał również nagrodę 10-Year Best Paper Award na targach Middleware 2014,

Poza pracą naukową i akademicką Guerraoui zajmuje się popularyzacją informatyki. Był współinicjatorem projektu edukacyjnego Wandida na YouTube , biblioteki 300++ filmów z informatyki i matematyki z 2,5 milionami wyświetleń i ponad 25 tysiącami subskrybentów, a także projektu edukacyjnego Zettabytes, biblioteki filmów związanych z wprowadzaniem głównych komputerów odkrycia naukowe i otwarte problemy dla ogółu społeczeństwa.

Rachid utrzymuje silne związki z Marokiem poprzez swój udział w debacie publicznej i marokańskim życiu politycznym. W grudniu 2019 roku został powołany przez króla Mohammeda VI na członka Komisji Specjalnej ds. Modelu Rozwoju.

Główne obszary badawcze i główne publikacje

Guerraoui pracował nad stworzeniem teoretycznych podstaw pamięci transakcyjnej (TM). Współtworzył pojęcie, które nazwał nieprzezroczystością, służące do ustalania poprawności TM. Od strony praktycznej współtworzył elastyczne transakcje i współprojektował SwissTM, wydajną pod względem przepustowości programową pamięć transakcyjną (STM), a także test porównawczy dla systemów TM, STMBench7.

Wcześniej Guerraoui badał skalowalne metody rozpowszechniania informacji. Jego artykuł na temat lekkich transmisji epidemicznych był pierwszym, w którym rozważono częściowe i / lub niezsynchronizowane widoki różnych procesów w rozproszonym systemie opartym na plotkach. Ten artykuł, wraz z artykułem Guerraoui na temat podstawowej usługi członkostwa, zyskał łącznie ponad 1250 cytowań od 2018 r., W tym szereg artykułów teoretycznych dotyczących analizy protokołów plotek w realistycznych warunkach.

Rachid Guerraoui ma udokumentowane doświadczenie w badaniu podstaw asynchronicznych obliczeń rozproszonych. Na przykład Guerraoui współtworzył dolne granice asynchronicznego plotkowania i zmiany nazwy. Ponadto udowodnił fundamentalne wyniki dotyczące związków między klasycznymi problemami przetwarzania rozproszonego, takimi jak zobowiązanie atomowe i konsensus , dla którego pomógł zamknąć otwarty wówczas problem najsłabszego detektora awarii do konsensusu z dowolną liczbą błędów i współtworzył nową klasyfikację problemów przetwarzania rozproszonego. Guerraoui współtworzył ponadto ogólną metodologię budowania wysoce współbieżnych asynchronicznych struktur danych i pokazał, w jaki sposób asynchronia może pomóc w tworzeniu liczb pseudolosowych.

, aby precyzyjnie uchwycić istotę algorytmów asynchronicznych, których bezpieczeństwo nie zależy od założeń czasowych, takich jak Paxos Lamporta czy PBFT Castro - Liskowa . Guerraoui wykorzystał tę koncepcję do współdefiniowania ogólnych ram dla bezpiecznych i niezawodnych protokołów rozproszonych.