Серджио Райсбаум

Серджио Райсбаум (родился 3 марта 1962 года в Мехико , Мексика) — мексиканский ученый-компьютерщик, работающий в области теоретической информатики, в частности параллельных и распределенных вычислений .
Он является профессором Института математики Национального автономного университета Мексики , где работает профессором с 1991 года.
Он был приглашенным научным сотрудником Института исследований фундаментальной информатики (IRIF) в академическом отпуске с 2022 по 2023 год. [ 1 ] [ 2 ]
Образование и карьера
[ редактировать ]Райсбаум получил образование на инженерном факультете UNAM и в 1985 году получил степень бакалавра компьютерной инженерии.
Райсбаум получил докторскую степень в Технионе , Израиль, в 1991 году, защитив диссертацию. Синхронизация в распределенных сетях, написанная под руководством Шимона Эвена . Его диссертация представила проблему унисона . [ 2 ]
С 1993 по 1995 год он учился в докторантуре в Массачусетском технологическом институте под руководством Нэнси Линч . В результате исследования были представлены материалы по трем темам. Метод расчета достижимой точности синхронизации часов, основанный на границах связи и индивидуального дрейфа часов в данной сети. Моделирование [ 3 ] для прямых переводов алгоритмов и невозможности возникает из модели с некоторой устойчивостью в модель с другой устойчивостью. Исследование глубокой связи между распределенными вычислениями и алгебраической топологией, [ 4 ] пример взаимодействия математики и вычислений [ 5 ]
Сотрудничество, начавшееся в 1994 году с Морисом Херлихи. было началом исследовательского проекта, который длился более 30 лет, и рассмотрены в книге «Распределенные вычисления посредством комбинаторной топологии», которую они написали совместно с математиком Дмитрием Файхтнером-Козловым . Топологическая перспектива вышла за рамки распределенных вычислений. [ 6 ] что приводит к работе в комбинаторной топологии [ 7 ] и направленная топология, [ 8 ] и связи с логикой, проверкой времени выполнения и теорией социального выбора.
Избранные научные статьи
[ редактировать ]- Райсбаум, Серхио; Эвен, Шимон (1990). «Унисон в распределенных сетях». Последовательности, комбинаторика, сжатие, безопасность и передача, Р. М. Капочелли. Спрингер-Верлаг : 479–487. дои : 10.1007/978-1-4612-3352-7_38 .
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь )
- Райсбаум, Серхио; Эвен, Шимон (1995). «Унисон, канон и медленные часы в сетях, управляемых синхронизатором Math». Теория систем . 28 . Спрингер-Верлаг : 421–435. дои : 10.1007/BF01185865 .
- Патт-Шамир, Боаз; Райсбаум, Серджио (1994). «Теория часовой синхронизации (расширенный реферат)» . ACM STOC: 810–819. дои : 10.1145/195058.195466 .
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь )
- Боровский, Элизабет; Гафни, Эли; Линч, Нэнси А.; Райсбаум, Серхио (2001). «Алгоритм распределенного моделирования BG». Распределенные вычисления. 14 (3): 127–146. дои : 10.1007/PL00008933 .
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь )
- Херлихи, Морис; Райсбаум, Серджио (1997). «Разрешимость задач с распределенным решением (расширенное резюме)». СТОК: 589–598. дои : 10.1145/258533.258652 .
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь )
- Кастаньеда, Армандо; Райсбаум, Серхио (2012). «Новые комбинаторные топологические границы переименования: верхняя граница». 59 . Нью-Йорк, США: Журнал ACM: 1–49. дои : 10.1145/2108242.2108245 .
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь )
- Кастаньеда, Армандо; Френьио, Пьер; Пас, Ами; Райсбаум, Серджио; Рой, Матье; Трэверс, Корентен (2019). «Синхронный t-устойчивый консенсус в произвольных графах» . ССС: 53–68.
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь )
- Френьио, Пьер; Райсбаум, Серджио; Трэверс, Корентен (2011). «Локальность и проверяемость в вычислениях без ожидания». ДИСК: 333–347. дои : 10.1007/978-3-642-24100-0\_34 .
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь )
- Бонакдарпур, Борзу; Френьио, Пьер; Райсбаум, Серхио; Розенблют, Дэвид А.; Трэверс, Корентен (2022). «Децентрализованная асинхронная устойчивая к сбоям проверка времени выполнения». Дж. ACM 69(5): 34: 1–34. дои : 10.1007/978-3-642-24100-0\_34 .
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь )
- Губо, Эрик; Ледент, Жереми; Райсбаум, Серхио (2021). «Симплициальная комплексная модель динамической эпистемической логики для изучения вычислимости распределенных задач». Инф. Вычислить. 278: 104597. arXiv : 1809.03095 . дои : 10.1016/j.ic.2020.104597 .
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь )
- Райсбаум, Серхио; Равентос-Пухоль, Армахак (2022 г.). «Распределенный комбинаторный топологический подход к теореме невозможности Эрроу» . ACM PODC: 471–481. дои : 10.1145/3519270.3538433 .
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь )
Награды и почести
[ редактировать ]Вместе со своими коллегами Райсбаум получил награду за лучшую статью на следующих научных конференциях. DISC (2011) за статью «Локальность и проверяемость в вычислениях без ожидания» и SSS (2019) за статью «Синхронный t-устойчивый консенсус в произвольных графах».
Его работа «Новые комбинаторные топологические границы для переименования: верхняя граница» с его аспирантом Армандо Кастаньедой была отмечена в списке выдающихся книг и статей ACM по вычислительной технике за 2012 год и получила награду за лучшую студенческую работу на PODC (2008).
в качестве выдающейся книги в списке лучших компьютерных технологий 2013 года Его книга «Распределенные вычисления посредством комбинаторной топологии» была выбрана Ассоциацией вычислительной техники .
Райсбаум получил Национальную премию в области компьютерных технологий 2022 года от Мексиканской компьютерной академии.
Его номер Эрдеша равен 2, потому что Райсбаум является соавтором Шломо Морана , который является соавтором Пола Эрдеша .
Книги
[ редактировать ]- Херлихи, Морис ; Козлов Дмитрий ; Райсбаум, Серджио (2013). Распределенные вычисления посредством комбинаторной топологии . ISBN 978-0-12-404578-1 . МР 3292637 . OCLC 864899516 .
- Райсбаум, Серхио (2009). Базовые навыки работы с компьютером . ISBN 978-607-02-0989-5 .
Ссылки
[ редактировать ]- ^ «Домашняя страница Серджио Райсбаума» . www.matem.unam.mx . Проверено 19 мая 2023 г.
- ^ Перейти обратно: а б «Интервью с Серджио Райсбаумом, постоянным посетителем IRIF» .
- ^ «Алгоритм распределенного моделирования BG» . В: Као, МОЙ. (ред.). 2011.
- ^ «Топологический подход в распределенных вычислениях» . В: Као, МОЙ. (ред.). 2016.
- ^ Вигдерсон, Ави (2019). «Математика и вычислительная техника» . Издательство Принстонского университета. ISBN 9780691189130 .
- ^ «Распределенные сетевые вычисления через призму комбинаторной топологии» .
- ^ Козлов, Дмитрий (2017). «Структурная теория флип-графов с приложениями к слабому нарушению симметрии» . Дж. Прил. Вычислить. Тополь. стр. 1–55.
- ^ Файструп, Лисбет; Губо, Эрик; Окур, Эммануэль; Мимрам, Самуэль; Рауссен, Мартин (2016). «Направленная алгебраическая топология и параллелизм» . Спрингер. стр. 1–167. ISBN 978-3-319-15397-1 .
Внешние ссылки
[ редактировать ]- «Главная страница» .
- «Серджио Райсбаум в проекте математической генеалогии» .
- «Известные книги и статьи ACM по вычислительной технике 2012 года» .
- «Список лучших компьютерных технологий 2013 года» .
- «Мексиканская вычислительная академия» .
Для этой статьи необходимы дополнительные или более конкретные категории . ( май 2023 г. ) |