ラシッド・ゲラウイ

ラシッド・ゲラウイ（1967年1月5日生まれ）は、モロッコ・スイス・フランス系^[1]の コンピュータ科学者であり、EPFLのコンピュータおよび通信科学（IC）学部の教授であり、並行コンピューティングと分散コンピューティングの分野での貢献で知られています。^{[2] [3]彼は}ACMフェロー^{[4]であり、} Journal of the ACMの準編集者です。^{[5] 2018年から2019年にかけて、}コレージュ・ド・フランスの分散コンピューティングのための情報科学および計算科学の議長を務めました。^[6]

ゲラウイは1967年1月5日、モロッコのラバトで生まれました。父のモハメド・ゲラウイは数学教師で、元マラケシュの知事です。母のファティマ・ラフモン・ゲラウイはフランス語教師です。1984年に学士号を取得後、モロッコからフランスに渡りました。ゲラウイは1989年にパリ鉱山学校の奨学金を得て、高等電子情報処理学校（ESIEA）でコンピュータエンジニアリングの修士号を、ピエール・マリー・キュリー大学でコンピュータサイエンスの修士号を同時に取得しました。 1992年、オルセー大学でクリスチャン・フルールの指導の下、サクレーにあるフランスの代替エネルギー・原子力委員会の支援を受けて博士号を取得した。博士論文のタイトルは「Programmation Répartie par Objets : Études et Propositions」であった。^{[7]その後、} EPFLでポスドク研究員として働き始め、 HP LabsとMITでの勤務を経て、1999年にコンピュータサイエンス学部に採用された。^{[8] [9] [10] [11] [12] [13]}

ゲラウイの受賞歴には、ERC Advanced Grant Award（2013）^[14] 、 Google Focused Award（2014）^[15]、Middleware 2014 Best Paper Awardsおよび10-Years Best Paper Awards、^[16]、Dahl–Nygaard Senior Prize（2024）^[17]などがあります。 2012年にはACMフェローに任命され^{[4] 、2018年から2019年にかけて}コレージュ・ド・フランスから分散コンピューティングのための情報科学および計算科学の教授に任命されました^[6] 。モロッコ人としてどちらの役職も受賞したのは彼が初めてです。^{[12] [11]}

Guerraoui はさまざまな協力者とともに、いくつかの技術書や一般向けの本を執筆しています。

• Guerraoui, Rachid; Gupta, Nirupam; Pinot, Rafael (2024)。堅牢な機械学習: 安全な AI のための分散手法。機械学習: 基礎、方法論、およびアプリケーション。シンガポール: Springer。doi : 10.1007 / 978-981-97-0688-4。ISBN 978-981-97-0690-7. ISSN  2730-9908。
• ゲラウイ、ラシッド。ホアン、レ・グエン（2020）。 Turing à la plage : L'intelligence artificielle dans un transat (フランス語)。デュノッド。ISBN 9782100795550。
• ゲラウィ、ラシッド（2019）。 L'algorithmique répartie : À la recherche de l'universalité perdue. Leçons inaugurales du Collège de France (フランス語)。フェイヤード。ISBN 9782213712406。
• Guerraoui, Rachid; Kuznetsov, Petr (2018)。並行システムのためのアルゴリズム。EPFL 出版。ISBN 9782889152834。
• カチン、クリストファー。ゲラウイ、ラシッド。ロドリゲス、ルイス (2011)。信頼性が高く安全な分散プログラミングの概要。スプリンガー。ISBN 9783642152597。
• Guerraoui, Rachid; Kapałka, Michał (2010).トランザクションメモリの原理. 分散コンピューティング理論の統合講義. Springer. doi : 10.2200/s00253ed1v01y201009dct004 . ISBN 978-3-031-00874-0. ISSN  2155-1626. S2CID  27967459.
• ベサンスノット、ジェローム。カート、ミシェル。フェリエ、ジャン。ゲラウイ、ラシッド。プチェラル、フィリップ。ブルーノ・トラバーソン (1997)。Les systèmes tradenels : 概念、規範、製品(フランス語)。パリ：ラヴォアジエ・エルメス。ISBN 9782866016456。

彼はまた、 Journal of the ACMの副編集長でもある。^[5]

ゲラウイはコンピュータサイエンスの普及にも取り組んでいる。博士課程の学生であるエル・マハディ・エル・マフムディとともに、YouTubeで許可された教育ビデオのコレクションであるワンディダプロジェクトを立ち上げた。^[18]

ゲラウイは、公開討論やモロッコの政治活動への参加を通じて、モロッコとの強いつながりを維持している。^{[19] [12]} 2019年12月、彼はモハメッド6世国王によって開発モデルに関する特別委員会の委員に任命された。^[20]

ゲラウイはトランザクショナルメモリ（TM）の理論的基礎の確立に取り組んだ。彼はTMの正確性を確立するために使われる不透明度^[21]という概念を共同で定義した。実用面では、彼はエラスティックトランザクション^{[22]を共同で考案し、スループット効率の高いソフトウェアトランザクショナルメモリ（STM）であるSwissTM [23]}とTMシステムのベンチマークであるSTMBench7を共同で設計した。 ^[24]

以前、ゲラウイはスケーラブルな情報伝達方法を研究していました。軽量のエピデミックブロードキャストに関する彼の論文^[25]は、ゴシップベースの分散システムにおけるさまざまなプロセスの部分的および/または非同期のビューを考慮した最初の論文でした。この論文は、基礎となるメンバーシップサービスに関するゲラウイの論文^[26]とともに、 2018年時点で合計1250回以上の引用を獲得しており、その中には現実的な設定でのゴシッププロトコルの分析に関する理論論文が多数含まれています。^[27]

Rachid Guerraoui は、非同期分散コンピューティングの基礎を研究した実績があります。たとえば、Guerraoui は、非同期ゴシップと名前変更の下限を共同で確立しました。^{[28] [29]さらに、アトミックコミットメント[30]}とコンセンサスなどの古典的な分散コンピューティングの問題の関係に関する基本的な結果を証明し、コンセンサスに関して当時未解決であった、任意の数の障害に対するコンセンサスの最弱障害検出器の問題を解決するのに貢献し、分散コンピューティングの問題の新しい分類を共同で確立しました。^[31]さらに、Guerraoui は、高度な並行性を備えた非同期データ構造を構築するための一般的な方法論を共同で定義し^{[32] [33]}、非同期性が疑似乱数の構築にどのように役立つかを示しました。^[34]

ゲラウイは、安全性がタイミングの仮定に依存しない非同期アルゴリズム（例えば、ランポートのパクソスやカストロ・リスコフのPBFT）の本質を正確に捉えるために、数学的な抽象化である耽溺を発明した^[ 35] 。ゲラウイはその概念を使用して、安全で信頼性の高い分散プロトコルの一般的なフレームワークを共同定義した^{[36] 。}