Рашид Геррауи
Марокканско-швейцарский учёный-компьютерщик и академик
Рашид Геррауи
Рожденный( 1967-01-05 )5 января 1967 г. (57 лет)
Рабат , Марокко
ГражданствоМарокко , Швейцария
Альма-матер
Известныйраспределенные вычисления , параллельные вычисления , популярная наука
Награды
Научная карьера
ПоляИнформатика
УчрежденияEPFL , HP Labs
ТезисProgrammation Répartie par Objets: Études et Propositions  (1992)
научный руководительКристиан Флур
Веб-сайтdcl.epfl.ch/рахид/

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

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

Геррауи родился 5 января 1967 года в Рабате , Марокко . Его отец, Мохаммед Геррауи, учитель математики и бывший вали (губернатор) Марракеша . Его мать, Фатима Рахмун-Геррауи, учитель французского языка. Получив степень бакалавра в 1984 году, он уехал из Марокко во Францию. Геррауи одновременно получил степени магистра в области вычислительной техники в Высшей школе электронной автоматизации (ESIEA) и в области компьютерных наук в Университете Пьера и Марии Кюри в 1989 году, получив стипендию в Центре исследований Горной школы Парижа . В 1992 году он получил докторскую степень в Университете д'Орсэ , под руководством Кристиана Флура и при поддержке Французской комиссии по альтернативным источникам энергии и атомной энергии Сакле. Его докторская диссертация называлась Programmation Répartie par Objets: Études et Propositions . [6] Затем он начал работать в качестве постдокторанта в EPFL и был назначен на факультет компьютерных наук в 1999 году после работы в HP Labs и MIT . [7] [8] [9] [10] [11] [12]

Среди наград Геррауи — премия ERC Advanced Grant Award (2013), [13] премия Google Focused Award (2014), [14] премии Middleware 2014 Best Paper и 10-Years Best Paper Awards, [15] и премия Dahl–Nygaard Senior Prize (2024). [16] В 2012 году он был назван стипендиатом ACM [3] и был назначен заведующим кафедрой информатики и вычислительной науки для распределенных вычислений на 2018–2019 годы Коллеж де Франс [5] — первый марокканец, получивший такое назначение. [11] [10]

В сотрудничестве с различными авторами Геррауи написал несколько технических и общедоступных книг:

  • Геррауи, Рашид; Гупта, Нирупам; Пино, Рафаэль (2024). Надежное машинное обучение: распределенные методы для безопасного ИИ. Машинное обучение: основы, методологии и приложения. Сингапур: Springer. doi : 10.1007/978-981-97-0688-4. ISBN 978-981-97-0690-7. ISSN  2730-9908.
  • Геррауи, Рашид; Хоанг, Ле Нгуен (2020). Тьюринг на пляже: L'intelligence artificielle dans un transat (на французском языке). Дюнод. ISBN 9782100795550.
  • Геррауи, Рашид (2019). L'algorithmique repartie: À la recherche de l'universalité perdue. Leçons inaugurales du Collège de France (на французском языке). Фаярд. ISBN 9782213712406.
  • Геррауи, Рашид; Кузнецов, Петр (2018). Алгоритмы для параллельных систем. EPFL Press. 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 Transactionnels: Концепции, нормы и продукты (на французском языке). Париж: Лавуазье-Эрмес. ISBN 9782866016456.

Он также является ассоциированным (региональным) редактором журнала ACM . [4]

Геррауи также работает над популяризацией компьютерных наук. Вместе со своим докторантом Эль Махди Эль Махмди он создал проект Wandida, коллекцию лицензированных образовательных видеороликов на YouTube. [17]

Геррауи поддерживает тесные связи с Марокко посредством своего участия в публичных дебатах и ​​марокканской политической жизни. [18] [11] В декабре 2019 года король Мухаммед VI назначил его членом Специального комитета по модели развития. [19]

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

Геррауи работал над установлением теоретических основ транзакционной памяти (ТП). Он был одним из авторов концепции, которую он назвал непрозрачностью [20], используемой для установления корректности ТП. С практической стороны, он был одним из авторов эластичных транзакций [21] и одним из авторов SwissTM, [22] эффективной по пропускной способности программной транзакционной памяти (STM), а также эталона для систем ТП, STMBench7. [23]

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

Рашид Геррауи имеет подтвержденный послужной список исследования основ асинхронных распределенных вычислений. Например, Геррауи был одним из тех, кто установил нижние границы для асинхронного распространения слухов и переименования. [27] [28] Он также доказал фундаментальные результаты о связях между классическими проблемами распределенных вычислений, такими как атомарное обязательство [29] и консенсус , для чего он помог закрыть тогда открытую проблему самого слабого детектора отказов для консенсуса с любым количеством ошибок и стал одним из тех, кто установил новую классификацию проблем распределенных вычислений. [30] Геррауи также был одним из тех, кто определил общую методологию для построения высококонкурентных асинхронных структур данных [31] [32] и показал, как асинхронность может помочь в построении псевдослучайных чисел. [33]

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

Ссылки

  1. ^ "dblp: Рашид Геррауи" . dblp.uni-trier.de . Проверено 22 октября 2018 г.
  2. ^ "EPFL - DCL - Rachid GUERRAOUI". lpdwww.epfl.ch . Получено 22.10.2018 .
  3. ^ ab "Лауреаты премии". Ассоциация вычислительной техники . Получено 4 октября 2024 г.
  4. ^ ab "ACM JACM". Журнал ACM . Получено 2024-10-04 .
  5. ^ Аб Сайед, Инка (15 июня 2018 г.). «Рашид Геррауи назначен председателем Digital в Коллеж де Франс» (пресс-релиз). Лозанна, Швейцария: EPFL .
  6. ^ "Рашид Геррауи". Проект генеалогии математики . Получено 4 октября 2024 г.
  7. ^ "Рашид Геррауи: Биография и текущая работа". EPFL . Получено 22 октября 2018 г.
  8. ^ Джмахри, Мустафа (23 июля 2019 г.). «Рашид Геррауи дю DHJ в колледже Франции». Mazagan24 — Портал д'Эль-Джадида (на французском языке) . Проверено 14 февраля 2020 г.
  9. ^ «Le passeport suisse et moi. Рашид Геррауи: 'Les policiers m'ont Offert un verre de blanc'» . Le Temps (на французском языке). 07.01.2016. ISSN  1423-3967 . Проверено 14 сентября 2020 г.
  10. ^ аб Жереми, Дэвид (29 июля 2023 г.). «ПОРТРЕТ. Рашид Геррауи, выдающийся профессор Политехнической школы Лозанны, руководитель кафедры колледжа Франции» (на французском языке). Испытание. Архивировано из оригинала 27 сентября 2023 г. Проверено 4 октября 2024 г.
  11. ↑ abc El Bouzdaini, Виссам (26 июня 2018 г.). «Рашид Геррауи, общество информатики» (на французском языке). Марок Эбдо. Архивировано из оригинала 15 августа 2018 г. Проверено 4 октября 2024 г.
  12. ^ Геррауи, Рашид. "РЕЗЮМЕ". Рашид ГЕРРАУИ . ДКЛ, ЭПФЛ . Проверено 4 октября 2024 г.
  13. ^ "Guerraoui Wins an ERC Grant". EcoCloud . 2013-09-17 . Получено 2018-10-22 .
  14. ^ Мадри, Камила (2013-11-04). "Проф. Рашид Геррауи получил премию Google Focused Award" (пресс-релиз). Лозанна, Швейцария: EPFL .
  15. ^ Вальтер, Александра (17.12.2014). «Премия Middleware 2014 и 10-Years Best Paper Award для Рашида Геррауи» (пресс-релиз). Лозанна, Швейцария: EPFL .
  16. ^ "Технические документы". ECOOP 2024. Получено 4 октября 2024 г.
  17. ^ Казар, Яссир (2014-05-08). «Онлайн-образование: Вандида, это не MOOC». Open Knowledge Foundation. Архивировано из оригинала 2024-08-29 . Получено 1 октября 2024 .
  18. ^ "Рашид Геррауи: "Je n'habite pas le Maroc mais le Maroc m'habite" (ПОВТОР)" . 2М (на французском языке) . Проверено 14 февраля 2020 г.
  19. ^ "Состав Специального комитета по модели развития". www.mapnews.ma . Рабат: Agence Marocaine de Presse. 2019-12-12 . Получено 2020-02-14 .
  20. ^ Guerraoui, Rachid; Kapałka, Michał (2008). "О корректности транзакционной памяти". Труды 13-го симпозиума ACM SIGPLAN по принципам и практике параллельного программирования - PPoPP '08 . стр. 175. CiteSeerX 10.1.1.164.9537 . doi :10.1145/1345206.1345233. ISBN  9781595937957. S2CID  1550577.
  21. ^ Фелбер, Паскаль; Грамоли, Винсент; Геррауи, Рашид (2017). «Эластичные транзакции». Журнал параллельных и распределенных вычислений . 100 : 103–127. doi :10.1016/j.jpdc.2016.10.010.
  22. ^ Драгоевик, Александр; Фельбер, Паскаль; Грамоли, Винсент; Геррауи, Рашид (2011). «Почему STM может быть больше, чем просто исследовательская игрушка». Коммуникации АКМ . 54 (4): 70. CiteSeerX 10.1.1.164.8994 . дои : 10.1145/1924421.1924440. S2CID  12568524. 
  23. ^ Геррауи, Рашид; Капалка, Михал; Витек, Ян (2007). «СТМБенч7». Обзор операционных систем ACM SIGOPS . 41 (3): 315. дои : 10.1145/1272998.1273029.
  24. ^ Eugster, P. Th.; Guerraoui, R.; Handurukande, SB; Kouznetsov, P.; Kermarrec, A.-M. (2003). «Легковесная вероятностная трансляция». ACM Transactions on Computer Systems . 21 (4): 341–374. CiteSeerX 10.1.1.100.9532 . doi :10.1145/945506.945507. S2CID  6875620. 
  25. ^ Джеласити, Марк; Вулгарис, Спирос; Геррауи, Рашид; Кермаррек, Анн-Мари; Ван Стин, Мартен (2007). «Выборка сверстников на основе сплетен». Транзакции ACM в компьютерных системах . 25 (3): 8–с. CiteSeerX 10.1.1.310.501 . дои : 10.1145/1275517.1275520. S2CID  6266183. 
  26. ^ "Рашид Геррауи - Цитаты Google Scholar". scholar.google.com . Получено 22.10.2018 .
  27. ^ Георгиу, Криссис; Гилберт, Сет; Геррауи, Рашид; Ковальски, Дариуш Р. (2013). «Асинхронные сплетни». Журнал ACM . 60 (2): 1–42. doi :10.1145/2450142.2450147. S2CID  7901743.
  28. ^ Алистарх, Дэн; Аспнес, Джеймс; Цензор-Хиллел, Керен; Гилберт, Сет; Геррауи, Рашид (2014). «Жесткие границы для асинхронного переименования». Журнал ACM . 61 (3): 1–51. CiteSeerX 10.1.1.431.2007 . doi :10.1145/2597630. S2CID  9813419. 
  29. ^ Guerraoui, Rachid (2002). «Неблокируемая атомарная фиксация в асинхронных распределенных системах с детекторами отказов». Distributed Computing . 15 : 17–25. CiteSeerX 10.1.1.19.5491 . doi :10.1007/s446-002-8027-4. S2CID  72867. 
  30. ^ Фоконье, Кэрол Дельпорт-Галле Хьюг; Геррауи, Рашид (2010). «Жесткие границы обнаружения сбоев в реализациях атомарных объектов». Журнал АКМ . 57 (4): 1–32. CiteSeerX 10.1.1.165.8950 . дои : 10.1145/1734213.1734216. S2CID  11566298. 
  31. ^ Дэвид, Тюдор; Геррауи, Рашид; Тригонакис, Василиос (2013). «Все, что вы всегда хотели знать о синхронизации, но боялись спросить». Труды Двадцать четвертого симпозиума ACM по принципам операционных систем — SOSP '13 . С. 33–48. CiteSeerX 10.1.1.593.2182 . doi :10.1145/2517349.2522714. ISBN  9781450323888. S2CID  10176747.
  32. ^ Дэвид, Тюдор; Геррауи, Рашид; Тригонакис, Василиос (2015). «Асинхронизированный параллелизм». Уведомления ACM SIGPLAN . 50 (4): 631–644. doi : 10.1145/2775054.2694359 .
  33. ^ Антониадис, Каролос; Бланшар, Пева; Геррауи, Рашид; Стайнер, Жюльен (2018). «Энтропия генерации случайных чисел распределенных вычислений из чередования памяти». Распределенные вычисления . 31 (5): 389–417. doi :10.1007/s00446-017-0311-5. S2CID  24299793.
  34. ^ Guerraoui, Rachid (2000). "Indulgent algorithms (preliminary version)". Труды девятнадцатого ежегодного симпозиума ACM по принципам распределенных вычислений - PODC '00 . стр. 289–297. CiteSeerX 10.1.1.583.6812 . doi :10.1145/343477.343630. ISBN  978-1581131833. S2CID  16791929.
  35. ^ Облин, Пьер-Луи; Геррауи, Рашид; Кнежевич, Никола; Кема, Вивьен; Вуколич, Марко (2015). «Следующие 700 протоколов BFT». Транзакции ACM в компьютерных системах . 32 (4): 1–45. дои : 10.1145/2658994. S2CID  900359.
Взято с "https://en.wikipedia.org/w/index.php?title=Рашид_Геррауи&oldid=1255133141"