Рашид Геррауи

Рашид Геррауи (родился 5 января 1967 г.) — мароккано-швейцарский ученый-компьютерщик и профессор Школы компьютерных и коммуникационных наук Федеральной политехнической школы Лозанны (EPFL), известный своим вкладом в области параллельных и распределенных вычислений . ^{[ 1 ]}^{[ 2 ]} Он член ACM. ^{[ 3 ]} и кафедра информатики и вычислительной науки на 2018–2019 годы в Коллеж де Франс по распределенным вычислениям. ^{[ 4 ]}

Образование и карьера

Рашид родился 5 января 1967 года в Рабате , Марокко . Его отец, Мохаммед Геррауи, — учитель математики и бывший вали (губернатор) Марракеша . Его мать, Фатима Рахмун-Геррауи, преподает французский язык. Получив степень бакалавра в 1984 году, он уехал из Марокко во Францию. ^{[ 5 ]}^{[ 6 ]}

Геррауи получил докторскую степень в Университете Орсе (1992 г.) и работал в Парижской горной школе , Комиссариате по атомной энергии Сакле, лабораториях Hewlett Packard и Массачусетском технологическом институте . ^{[ 7 ]} Он является младшим (областным) редактором журнала ACM. ^{[ 8 ]} и является соавтором нескольких книг, в том числе «Алгоритмы для параллельных систем», ^{[ 9 ]} «Введение в надежное и безопасное распределенное программирование» ^{[ 10 ]} и «Принципы транзакционной памяти». ^{[ 11 ]} Он выиграл премию ERC Advanced Grant Award (2013). ^{[ 12 ]} и премия Google Focused Award (2014 г.). ^{[ 13 ]}

Вместе со своими коллегами Геррауи получил награду за лучшую статью на следующих научных конференциях: ACM Middleware (2016, 2014, 2012), ICDCN (2011), Eurosys (2010), DISC (2010) и OPODIS (2006). ^{[ 2 ]} Он также получил награду за 10-летнюю лучшую работу на конференции Middleware 2014. ^{[ 14 ]}

Помимо своей научной и академической деятельности, Геррауи занимается популяризацией информатики. Он стал одним из инициаторов обучающего проекта Wandida на YouTube , библиотеки из более чем 300 видеороликов по информатике и математике с 2,5 миллионами просмотров и более 25 тысяч подписчиков, а также образовательного проекта Zettabytes — библиотеки видеороликов, связанных с введением в основные компьютерные науки. открытия и открытые проблемы для широкой публики.

Рашид поддерживает прочные связи с Марокко благодаря участию в публичных дебатах и политической жизни Марокко. ^{[ 15 ]} назначил его В декабре 2019 года король Мухаммед VI членом Специального комитета по модели развития. ^{[ 16 ]}

Приоритетные направления исследований и основные публикации

Геррауи работал над созданием теоретических основ транзакционной памяти (ТМ). Он разработал концепцию, которую назвал непрозрачностью. ^{[ 17 ]} используется для установления правильности ТМ. С практической стороны он был соавтором эластичных транзакций. ^{[ 18 ]} и совместно разработанный SwissTM, ^{[ 19 ]} программная транзакционная память (STM) с эффективной пропускной способностью, а также эталон для систем TM STMBench7. ^{[ 20 ]}

Ранее Геррауи изучал масштабируемые методы распространения информации. Его статья о легком вещании об эпидемиях. ^{[ 21 ]} был первым, кто рассмотрел частичные и/или несинхронизированные представления различных процессов в распределенной системе, основанной на слухах. Эта статья, вместе с статьей Геррауи о базовой членской службе, ^{[ 22 ]} по состоянию на 2018 год получил более 1250 цитирований, среди которых ряд теоретических статей по анализу протоколов сплетен в реалистичных условиях. ^{[ 23 ]}

Рашид Геррауи имеет успешный опыт исследования основ асинхронных распределенных вычислений. Например, Геррауи совместно установил нижние границы для асинхронных сплетен и переименований. ^{[ 24 ]}^{[ 25 ]} Далее он доказал фундаментальные результаты о взаимосвязях между классическими задачами распределенных вычислений, такими как атомарное обязательство. ^{[ 26 ]} и консенсус , ради которого он помог закрыть тогда открытую проблему самого слабого детектора сбоев для консенсуса с любым количеством ошибок и стал соавтором новой классификации задач распределенных вычислений. ^{[ 27 ]} Геррауи также разработал общую методологию создания высококонкурентных асинхронных структур данных. ^{[ 28 ]}^{[ 29 ]} и показал, как асинхронность может помочь в создании псевдослучайных чисел. ^{[ 30 ]}

Геррауи изобрел математическую абстракцию снисхождения. ^{[ 31 ]} чтобы точно уловить суть асинхронных алгоритмов, безопасность которых не зависит от временных предположений, таких как PBFT или Лэмпорта Кастро Лискова - Paxos . Геррауи использовал эту концепцию для определения общей структуры безопасных и надежных распределенных протоколов. ^{[ 32 ]}

Ссылки

^ "dblp: Рашид Геррауи" . dblp.uni-trier.de . Проверено 22 октября 2018 г.
^ Jump up to: ^а ^б «EPFL – DCL – Рашид ГЕРРАУИ» . lpdwww.epfl.ch . Проверено 22 октября 2018 г.
^ Вальтер, Александра (14 декабря 2012 г.). «Профессор Геррауи и профессор Сифакис избраны стипендиатами ACM» . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )
^ Саид, Инка (15 июня 2018 г.). «Рашид Геррауи назначен председателем Digital в Коллеж де Франс» . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )
^ Джмахри, Мустафа (23 июля 2019 г.). «Рашид Геррауи из DHJ Колледжа Франции» . Mazagan24 — Портал д'Эль-Джадида (на французском языке) . Проверено 14 февраля 2020 г.
^ «Швейцарский паспорт и я. Рашид Геррауи: «Полиция предложила мне бокал белого вина» » . Le Temps (на французском языке). 07.01.2016. ISSN 1423-3967 . Проверено 14 сентября 2020 г.
^ «Рашид Геррауи: Биография и нынешняя деятельность» . People.epfl.ch (на французском языке) . Проверено 22 октября 2018 г.
^ «АКМ-ДЖАКМ» . Журнал АКМ . Проверено 22 октября 2018 г.
^ «Алгоритмы для параллельных систем» . www.ppur.org (на французском языке) . Проверено 22 октября 2018 г.
^ Введение в надежное и безопасное распределенное программирование | Кристиан Кашен | Спрингер . Спрингер. 2011. ISBN 9783642152597 .
^ Геррауи, Рашид; Капалка, Михал (2010). «Принципы транзакционной памяти» . Обобщающие лекции по теории распределенных вычислений . 1 (1): 1–193. дои : 10.2200/s00253ed1v01y201009dct004 . ISSN 2155-1626 . S2CID 27967459 .
^ «Геррауи выигрывает грант ERC» . ЭкоКлауд . 17 сентября 2013 г. Проверено 22 октября 2018 г.
^ Мадри, Камила (4 ноября 2013 г.). «Проф. Рашид Геррауи получил награду Google Focused Award» . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )
^ Вальтер, Александра (17 декабря 2014 г.). «Промежуточное программное обеспечение 2014 года и награда за 10-летнюю лучшую бумагу для Рашида Геррауи» . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )
^ «Рашид Геррауи: «Я не живу в Марокко, но Марокко живет во мне» (ПОВТОР)» . 2М (на французском языке) . Проверено 14 февраля 2020 г.
^ «Состав специального комитета по модели развития | MapNews» . www.mapnews.ma . Проверено 14 февраля 2020 г.
^ Геррауи, Рашид; Капалка, Михал (2008). «О корректности транзакционной памяти». Материалы 13-го симпозиума ACM SIGPLAN по принципам и практике параллельного программирования — PPoPP '08 . п. 175. CiteSeerX 10.1.1.164.9537 . дои : 10.1145/1345206.1345233 . ISBN 9781595937957 . S2CID 1550577 .
^ Фельбер, Паскаль; Грамоли, Винсент; Геррауи, Рашид (2017). «Эластичные транзакции». Журнал параллельных и распределенных вычислений . 100 : 103–127. дои : 10.1016/j.jpdc.2016.10.010 .
^ Драгоевик, Александр; Фельбер, Паскаль; Грамоли, Винсент; Геррауи, Рашид (2011). «Почему STM может быть больше, чем просто исследовательская игрушка». Коммуникации АКМ . 54 (4): 70. CiteSeerX 10.1.1.164.8994 . дои : 10.1145/1924421.1924440 . S2CID 12568524 .
^ Геррауи, Рашид; Капалка, Михал; Витек, Ян (2007). «СТМБенч7». Обзор операционных систем ACM SIGOPS . 41 (3): 315. дои : 10.1145/1272998.1273029 .
^ Югстер, П.Т.; Геррауи, Р.; Хандуруканде, SB; Кузнецов П.; Кермаррек, А.-М. (2003). «Облегченная вероятностная трансляция». Транзакции ACM в компьютерных системах . 21 (4): 341–374. CiteSeerX 10.1.1.100.9532 . дои : 10.1145/945506.945507 . S2CID 6875620 .
^ Йеласити, Марк; Вулгарис, Спирос; Воин, Рашид; Кермаррек, Анн-Мари; Ван Стин, Мартен (2007). «Выборка коллег на основе сплетен». Транзакции ACM в компьютерных системах . 25 (3): 8–с. CiteSeerX 10.1.1.310.501 . дои : 10.1145/1275517.1275520 . S2CID 6266183 .
^ «Рахид Геррауи — Цитаты в Google Scholar» . ученый.google.com . Проверено 22 октября 2018 г.
^ Георгиу, Криссис; Гилберт, Сет; Геррауи, Рашид; Ковальский, Дариуш Р. (2013). «Асинхронные сплетни» . Журнал АКМ . 60 (2): 1–42. дои : 10.1145/2450142.2450147 . S2CID 7901743 .
^ Алистарх, Дэн; Аспнес, Джеймс; Цензор-Гилель, Керен; Гилберт, Сет; Геррауи, Рашид (2014). «Жесткие границы для асинхронного переименования». Журнал АКМ . 61 (3): 1–51. CiteSeerX 10.1.1.431.2007 . дои : 10.1145/2597630 . S2CID 9813419 .
^ Геррауи, Рашид (2002). «Неблокирующая атомарная фиксация в асинхронных распределенных системах с детекторами сбоев». Распределенные вычисления . 15 :17–25. CiteSeerX 10.1.1.19.5491 . дои : 10.1007/s446-002-8027-4 . S2CID 72867 .
^ Фоконье, Кэрол Дельпорт-Галле Хьюг; Геррауи, Рашид (2010). «Жесткие границы обнаружения сбоев в реализациях атомарных объектов». Журнал АКМ . 57 (4): 1–32. CiteSeerX 10.1.1.165.8950 . дои : 10.1145/1734213.1734216 . S2CID 11566298 .
^ Давид, Тюдор; Геррауи, Рашид; Тригонакис, Василейос (2013). «Все, что вы всегда хотели знать о синхронизации, но боялись спросить». Материалы двадцать четвертого симпозиума ACM по принципам операционных систем - SOSP '13 . стр. 33–48. CiteSeerX 10.1.1.593.2182 . дои : 10.1145/2517349.2522714 . ISBN 9781450323888 . S2CID 10176747 .
^ Давид, Тюдор; Геррауи, Рашид; Тригонакис, Василейос (2015). «Асинхронизированный параллелизм» . Уведомления ACM SIGPLAN . 50 (4): 631–644. дои : 10.1145/2775054.2694359 .
^ Антониадис, Каролос; Бланшар, Пева; Геррауи, Рашид; Стейнер, Жюльен (2018). «Энтропия генерации случайных чисел в распределенных вычислениях на основе чередования памяти». Распределенные вычисления . 31 (5): 389–417. дои : 10.1007/s00446-017-0311-5 . S2CID 24299793 .
^ Геррауи, Рашид (2000). «Снисходительные алгоритмы (предварительная версия)». Материалы девятнадцатого ежегодного симпозиума ACM по принципам распределенных вычислений - PODC '00 . стр. 289–297. CiteSeerX 10.1.1.583.6812 . дои : 10.1145/343477.343630 . ISBN 978-1581131833 . S2CID 16791929 .
^ Облин, Пьер-Луи; Геррауи, Рашид; Кнежевич, Никола; Кема, Вивьен; Вуколич, Марко (2015). «Следующие 700 протоколов BFT» . Транзакции ACM в компьютерных системах . 32 (4): 1–45. дои : 10.1145/2658994 . S2CID 900359 .

[1] "dblp: Рашид Геррауи" . dblp.uni-trier.de . Проверено 22 октября 2018 г.

[:0-2] Jump up to: ^а ^б «EPFL – DCL – Рашид ГЕРРАУИ» . lpdwww.epfl.ch . Проверено 22 октября 2018 г.

[3] Вальтер, Александра (14 декабря 2012 г.). «Профессор Геррауи и профессор Сифакис избраны стипендиатами ACM» . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )

[4] Саид, Инка (15 июня 2018 г.). «Рашид Геррауи назначен председателем Digital в Коллеж де Франс» . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )

[:1-5] Джмахри, Мустафа (23 июля 2019 г.). «Рашид Геррауи из DHJ Колледжа Франции» . Mazagan24 — Портал д'Эль-Джадида (на французском языке) . Проверено 14 февраля 2020 г.

[6] «Швейцарский паспорт и я. Рашид Геррауи: «Полиция предложила мне бокал белого вина» » . Le Temps (на французском языке). 07.01.2016. ISSN 1423-3967 . Проверено 14 сентября 2020 г.

[7] «Рашид Геррауи: Биография и нынешняя деятельность» . People.epfl.ch (на французском языке) . Проверено 22 октября 2018 г.

[8] «АКМ-ДЖАКМ» . Журнал АКМ . Проверено 22 октября 2018 г.

[9] «Алгоритмы для параллельных систем» . www.ppur.org (на французском языке) . Проверено 22 октября 2018 г.

[10] Введение в надежное и безопасное распределенное программирование | Кристиан Кашен | Спрингер . Спрингер. 2011. ISBN 9783642152597 .

[11] Геррауи, Рашид; Капалка, Михал (2010). «Принципы транзакционной памяти» . Обобщающие лекции по теории распределенных вычислений . 1 (1): 1–193. дои : 10.2200/s00253ed1v01y201009dct004 . ISSN 2155-1626 . S2CID 27967459 .

[12] «Геррауи выигрывает грант ERC» . ЭкоКлауд . 17 сентября 2013 г. Проверено 22 октября 2018 г.

[13] Мадри, Камила (4 ноября 2013 г.). «Проф. Рашид Геррауи получил награду Google Focused Award» . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )

[14] Вальтер, Александра (17 декабря 2014 г.). «Промежуточное программное обеспечение 2014 года и награда за 10-летнюю лучшую бумагу для Рашида Геррауи» . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )

[15] «Рашид Геррауи: «Я не живу в Марокко, но Марокко живет во мне» (ПОВТОР)» . 2М (на французском языке) . Проверено 14 февраля 2020 г.

[16] «Состав специального комитета по модели развития | MapNews» . www.mapnews.ma . Проверено 14 февраля 2020 г.

[17] Геррауи, Рашид; Капалка, Михал (2008). «О корректности транзакционной памяти». Материалы 13-го симпозиума ACM SIGPLAN по принципам и практике параллельного программирования — PPoPP '08 . п. 175. CiteSeerX 10.1.1.164.9537 . дои : 10.1145/1345206.1345233 . ISBN 9781595937957 . S2CID 1550577 .

[18] Фельбер, Паскаль; Грамоли, Винсент; Геррауи, Рашид (2017). «Эластичные транзакции». Журнал параллельных и распределенных вычислений . 100 : 103–127. дои : 10.1016/j.jpdc.2016.10.010 .

[19] Драгоевик, Александр; Фельбер, Паскаль; Грамоли, Винсент; Геррауи, Рашид (2011). «Почему STM может быть больше, чем просто исследовательская игрушка». Коммуникации АКМ . 54 (4): 70. CiteSeerX 10.1.1.164.8994 . дои : 10.1145/1924421.1924440 . S2CID 12568524 .

[20] Геррауи, Рашид; Капалка, Михал; Витек, Ян (2007). «СТМБенч7». Обзор операционных систем ACM SIGOPS . 41 (3): 315. дои : 10.1145/1272998.1273029 .

[21] Югстер, П.Т.; Геррауи, Р.; Хандуруканде, SB; Кузнецов П.; Кермаррек, А.-М. (2003). «Облегченная вероятностная трансляция». Транзакции ACM в компьютерных системах . 21 (4): 341–374. CiteSeerX 10.1.1.100.9532 . дои : 10.1145/945506.945507 . S2CID 6875620 .

[22] Йеласити, Марк; Вулгарис, Спирос; Воин, Рашид; Кермаррек, Анн-Мари; Ван Стин, Мартен (2007). «Выборка коллег на основе сплетен». Транзакции ACM в компьютерных системах . 25 (3): 8–с. CiteSeerX 10.1.1.310.501 . дои : 10.1145/1275517.1275520 . S2CID 6266183 .

[23] «Рахид Геррауи — Цитаты в Google Scholar» . ученый.google.com . Проверено 22 октября 2018 г.

[24] Георгиу, Криссис; Гилберт, Сет; Геррауи, Рашид; Ковальский, Дариуш Р. (2013). «Асинхронные сплетни» . Журнал АКМ . 60 (2): 1–42. дои : 10.1145/2450142.2450147 . S2CID 7901743 .

[25] Алистарх, Дэн; Аспнес, Джеймс; Цензор-Гилель, Керен; Гилберт, Сет; Геррауи, Рашид (2014). «Жесткие границы для асинхронного переименования». Журнал АКМ . 61 (3): 1–51. CiteSeerX 10.1.1.431.2007 . дои : 10.1145/2597630 . S2CID 9813419 .

[26] Геррауи, Рашид (2002). «Неблокирующая атомарная фиксация в асинхронных распределенных системах с детекторами сбоев». Распределенные вычисления . 15 :17–25. CiteSeerX 10.1.1.19.5491 . дои : 10.1007/s446-002-8027-4 . S2CID 72867 .

[27] Фоконье, Кэрол Дельпорт-Галле Хьюг; Геррауи, Рашид (2010). «Жесткие границы обнаружения сбоев в реализациях атомарных объектов». Журнал АКМ . 57 (4): 1–32. CiteSeerX 10.1.1.165.8950 . дои : 10.1145/1734213.1734216 . S2CID 11566298 .

[28] Давид, Тюдор; Геррауи, Рашид; Тригонакис, Василейос (2013). «Все, что вы всегда хотели знать о синхронизации, но боялись спросить». Материалы двадцать четвертого симпозиума ACM по принципам операционных систем - SOSP '13 . стр. 33–48. CiteSeerX 10.1.1.593.2182 . дои : 10.1145/2517349.2522714 . ISBN 9781450323888 . S2CID 10176747 .

[29] Давид, Тюдор; Геррауи, Рашид; Тригонакис, Василейос (2015). «Асинхронизированный параллелизм» . Уведомления ACM SIGPLAN . 50 (4): 631–644. дои : 10.1145/2775054.2694359 .

[30] Антониадис, Каролос; Бланшар, Пева; Геррауи, Рашид; Стейнер, Жюльен (2018). «Энтропия генерации случайных чисел в распределенных вычислениях на основе чередования памяти». Распределенные вычисления . 31 (5): 389–417. дои : 10.1007/s00446-017-0311-5 . S2CID 24299793 .

[31] Геррауи, Рашид (2000). «Снисходительные алгоритмы (предварительная версия)». Материалы девятнадцатого ежегодного симпозиума ACM по принципам распределенных вычислений - PODC '00 . стр. 289–297. CiteSeerX 10.1.1.583.6812 . дои : 10.1145/343477.343630 . ISBN 978-1581131833 . S2CID 16791929 .

[32] Облин, Пьер-Луи; Геррауи, Рашид; Кнежевич, Никола; Кема, Вивьен; Вуколич, Марко (2015). «Следующие 700 протоколов BFT» . Транзакции ACM в компьютерных системах . 32 (4): 1–45. дои : 10.1145/2658994 . S2CID 900359 .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

[ 15 ]

[ 16 ]

[ 17 ]

[ 18 ]

[ 19 ]

[ 20 ]

[ 21 ]

[ 22 ]

[ 23 ]

[ 24 ]

[ 25 ]

[ 26 ]

[ 27 ]

[ 28 ]

[ 29 ]

[ 30 ]

[ 31 ]

[ 32 ]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ 2 WorldCat
Национальный	Норвегия Франция Данные БнФ Германия Израиль Бельгия Соединенные Штаты Чешская Республика Нидерланды
академики	Ассоциация вычислительной техники ЦиНии ДБЛП Google Академика Проект математической генеалогии ОРЦИД zbMATH
Другой	ИдРеф