stringtranslate.com

Серж Абитебул

Серж Жозеф Абитбуль (родился 25 августа 1953 года в Париже , Франция) [8] — французский учёный-компьютерщик, работающий в области управления данными , теории баз данных и теории конечных моделей . [2] [1] [9] [7]

Образование

Сын двух владельцев хозяйственных магазинов, Абитбуль учился в средней школе в Роморантене и подготовительных классах высшей школы в Туре . [10] Он был принят в инженерную школу Télécom Paris и учился в Технионе в Хайфе в течение года. [11]

Абитбул получил докторскую степень в Университете Южной Калифорнии под руководством Сеймура Гинзбурга в 1982 году. [12] [3]

Карьера и исследования

Абитебул — старший научный сотрудник Национального института исследований в области информатики и автоматизации (INRIA) , французского национального исследовательского института, специализирующегося на информатике и смежных областях, а также профессор Коллеж де Франс . [13]

Он известен своими многочисленными вкладами в области теории конечных моделей , теории баз данных и систем баз данных. В теории конечных моделей теорема Абитбула–Виану утверждает, что полиномиальное время равно PSPACE тогда и только тогда, когда логика с фиксированной точкой совпадает с частичной логикой с фиксированной точкой. [14] [15] В теории баз данных он внес широкий спектр результатов, самые последние из которых касаются языков для распределенной обработки XML-данных. В области управления данными он наиболее известен своими ранними работами по полуструктурированным и веб-базам данных. В 2008 году, по данным Citeseer , он был самым цитируемым исследователем в области управления данными, работающим в европейском учреждении.

Абитбуль также известен двумя книгами: одна по теории баз данных [16] и одна по управлению веб-данными. [7] Он часто пишет для французских газет, включая Le Monde, [17] Libération [18] и La Tribune [19]

Член ARCEP , независимого агентства, отвечающего за регулирование телекоммуникаций во Франции, [20] Абитбуль был сторонником сетевого нейтралитета. [18] Он также критиковал виртуальных помощников и их влияние на конфиденциальность. [21]

В 2019 году он вошел в состав группы, которой французское правительство поручило борьбу с травлей и преследованиями в Интернете. [22]

Награды и почести

Абитбул был награжден премией SIGMOD Test of Time от Ассоциации вычислительной техники (ACM) в 2004 году [23] , премией EADS в 2007 году [24] и премией ACM PODS Alberto O. Mendelzon Test-of-Time (2008). [ необходима ссылка ] Абитбул был избран членом Французской академии наук в 2008 году [8] , Европейской академии наук в 2011 году и членом ACM в 2011 году [1].

Ссылки

  1. ^ abc Серж Абитбуль страница профиля автора в ACM Digital Library
  2. ^ ab Серж Абитбуль публикации, проиндексированные Google Scholar
  3. ^ ab Серж Абитбуль в проекте «Генеалогия математики»
  4. ^ "Les Membres de l'Académie des Sciences élus en 2008 и 2009" (PDF) . academie-sciences.fr . Академия наук. 16 июня 2009 г.
  5. ^ Иммерман, Нил (2012). "12.6 Теоремы Абитбула-Виану и Отто". Описательная сложность . Нью-Йорк: Springer. стр. 193. ISBN 9781461205395.
  6. ^ Dawar A, Hella L, Seth A (24 июня 1998 г.). «Упорядочение конечных типов переменных с обобщенными квантификаторами». Труды. Тринадцатый ежегодный симпозиум IEEE по логике в компьютерных науках (Кат. № 98CB36226) . стр. 28–43. doi :10.1109/LICS.1998.705641. ISBN 978-0-8186-8506-4. S2CID  206438299.
  7. ^ abc Abiteboul, Serge; Buneman, Peter ; Suciu, Dan (2000). Данные в Интернете: от отношений к полуструктурированным данным и XML . Morgan Kaufmann. ISBN 978-1558606227.
  8. ^ ab «11 новых членов Академии наук» (PDF) . academie-sciences.fr . Академия наук. 17 декабря 2008 г.
  9. ^ Серж Абитбуль на библиографическом сервере DBLP
  10. ^ "Серж Абитбул для донне" . lanouvellerepublique.fr . Новая Республика. 20 мая 2017 г.
  11. ^ "Серж Абитебул: Науки о донах, логика премьер-министра в Туале" . Francecultural.fr . Культура Франции. 4 августа 2016 г.
  12. ^ Абитбул, Серж Джозеф (1982). Функции сопоставления и дезагрегации в базах данных (диссертация на степень доктора философии). Университет Южной Калифорнии. OCLC  8982457. ProQuest  303233018.
  13. ^ «Список профессоров фонда Коллеж де Франс в 1530 году» (PDF) . College-de-France.fr . Коллеж де Франс. Архивировано из оригинала (PDF) 3 марта 2016 г.
  14. ^ Abiteboul, S.; Vianu, V. (1991). "Общие вычисления и их сложность". Труды двадцать третьего ежегодного симпозиума ACM по теории вычислений - STOC '91 . стр. 209. doi :10.1145/103418.103444. ISBN 978-0897913973. S2CID  12707902.
  15. ^ Abiteboul, S.; Vianu, V. (1995). «Вычисления с логикой первого порядка». Журнал компьютерных и системных наук . 50 (2): 309. doi : 10.1006/jcss.1995.1025 .
  16. ^ Серж Абитбул, Ричард Б. Халл, Виктор Виану : Основы баз данных. Addison-Wesley, 1995. http://webdam.inria.fr/Alice/ ISBN 0201537710 
  17. ^ "Научно-фантастический соус номер" . www.lemonde.fr . Ле Монд. 18 января 2019 г.
  18. ^ ab "Pourquoi Internet doit rester neutre" . liberation.fr . Освобождение. 5 июля 2018 г.
  19. ^ "Роботы в больнице" . latribune.fr . Ла Трибюн. 28 января 2019 г.
  20. ^ «Интернет: neutre mais pas trop?». Francecultural.fr . Культура Франции. 5 сентября 2019 г.
  21. ^ "Il vaudrait mieux attre l'arrivée d'assistants vocaux soucieux de protéger nos données" . www.lemonde.fr . Ле Монд. 26 июня 2018 г.
  22. ^ "Комментарий la France Compte Lutter Contre la Haine et le Harcèlement en ligne" . www.lemonde.fr . Ле Монд. 14 февраля 2019 г.
  23. ^ "SIGMOD Test of Time Award". Sigmod.org . Sigmod ACM.
  24. ^ «Лауреаты премии Академии наук 2007 г.» (PDF) . academie-sciences.fr . Академия наук. 2007.