Serge Joseph Abiteboul (born 25 August 1953 in Paris, France)[8] is a French computer scientist working in the areas of data management, database theory, and finite model theory.[2][1][9][7]
Serge Abiteboul | |
---|---|
Born | Serge Joseph Abiteboul 25 August 1953[4] |
Nationality | French |
Citizenship | French |
Alma mater | University of Southern California (PhD) |
Known for | |
Awards |
|
Scientific career | |
Fields | Data bases[2] |
Institutions | INRIA |
Thesis | Matching Functions and Disaggregations in Databases (1982) |
Doctoral advisor | Seymour Ginsburg[3] |
Website | abiteboul |
Education
editThe son of two hardware store owners, Abiteboul attended high-school in Romorantin, and Higher School Preparatory Classes in Tours.[10] He was admitted to the Télécom Paris engineering school and studied at the Technion in Haifa for a year.[11]
Abiteboul received his PhD from the University of Southern California under the supervision of Seymour Ginsburg, in 1982.[12][3]
Career and research
editAbiteboul is a senior researcher at the Institut national de recherche en informatique et en automatique (INRIA), the French national research institute focussing on computer science and related areas, and has been a professor of the Collège de France.[13]
He is known for his many contributions in the areas of finite model theory, database theory, and database systems. In finite model theory, the Abiteboul–Vianu Theorem states that polynomial time is equal to PSPACE if and only if fixed point logic is the same as partial fixed point logic.[14][15] In database theory, he has contributed a wide variety of results, the most recent on languages for the distributed processing of XML data. In data management, he is best known for his early work on semistructured and Web databases. In 2008, according to Citeseer, he is the most highly cited researcher in the data management area who works at a European institution.
Abiteboul is also known for two books, one on database theory[16] and one on Web data management.[7] He frequently writes for French newspapers, including Le Monde,[17] Libération[18] and La Tribune[19]
A member of the ARCEP, the independent agency in charge of regulating telecommunications in France,[20] Abiteboul has been an advocate of net neutrality.[18] He has also been critical of virtual assistants and their impact on privacy.[21]
In 2019, he is among the members of a group tasked by the French government with addressing online bullying and harassment.[22]
Awards and honours
editAbiteboul was awarded the Association for Computing Machinery (ACM) SIGMOD Test of Time Award in 2004,[23] the Prix EADS in 2007[24] and the ACM PODS Alberto O. Mendelzon Test-of-Time Award (2008).[citation needed] Abiteboul was elected a member of the French Academy of Sciences in 2008,[8] of the European Academy of Sciences in 2011, and an ACM Fellow in 2011.[1]
References
edit- ^ a b c Serge Abiteboul author profile page at the ACM Digital Library
- ^ a b Serge Abiteboul publications indexed by Google Scholar
- ^ a b Serge Abiteboul at the Mathematics Genealogy Project
- ^ "Les Membres de l'Académie des sciences élus en 2008 et 2009" (PDF). academie-sciences.fr. Académie des sciences. June 16, 2009.
- ^ Immerman, Neil (2012). "12.6 Abiteboul-Vianu and Otto Theorems". Descriptive Complexity. New York: Springer. p. 193. ISBN 9781461205395.
- ^ Dawar A, Hella L, Seth A (24 June 1998). "Ordering finite variable types with generalized quantifiers". Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226). pp. 28–43. doi:10.1109/LICS.1998.705641. ISBN 978-0-8186-8506-4. S2CID 206438299.
- ^ a b c Abiteboul, Serge; Buneman, Peter; Suciu, Dan (2000). Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann. ISBN 978-1558606227.
- ^ a b "11 nouveaux Membres élus à l'Académie des sciences" (PDF). academie-sciences.fr. Académie des sciences. December 17, 2008.
- ^ Serge Abiteboul at DBLP Bibliography Server
- ^ "Serge Abiteboul par-delà les données". lanouvellerepublique.fr. La nouvelle République. May 20, 2017.
- ^ "Serge Abiteboul : Sciences des données, de la logique du premier ordre à la Toile". franceculture.fr. France Culture. August 4, 2016.
- ^ Abiteboul, Serge Joseph (1982). Matching Functions and Disaggregations in Databases (PhD thesis). University of Southern California. OCLC 8982457. ProQuest 303233018.
- ^ "Liste des professeurs depuis la fondation du Collège de France en 1530" (PDF). college-de-france.fr. Collège de France. Archived from the original (PDF) on 2016-03-03.
- ^ Abiteboul, S.; Vianu, V. (1991). "Generic Computation and its complexity". Proceedings of the twenty-third annual ACM symposium on Theory of computing - STOC '91. p. 209. doi:10.1145/103418.103444. ISBN 978-0897913973. S2CID 12707902.
- ^ Abiteboul, S.; Vianu, V. (1995). "Computing with First-Order Logic". Journal of Computer and System Sciences. 50 (2): 309. doi:10.1006/jcss.1995.1025.
- ^ Serge Abiteboul, Richard B. Hull, Victor Vianu: Foundations of Databases. Addison-Wesley, 1995. http://webdam.inria.fr/Alice/ ISBN 0201537710
- ^ "Science-fiction sauce numérique". lemonde.fr. Le Monde. January 18, 2019.
- ^ a b "Pourquoi Internet doit rester neutre". liberation.fr. Libération. July 5, 2018.
- ^ "Des robots à l'hôpital". latribune.fr. La Tribune. January 28, 2019.
- ^ "Internet : neutre mais pas trop ?". franceculture.fr. France Culture. September 5, 2019.
- ^ "Il vaudrait mieux attendre l'arrivée d'assistants vocaux soucieux de protéger nos données". lemonde.fr. Le Monde. June 26, 2018.
- ^ "Comment la France compte lutter contre la haine et le harcèlement en ligne". lemonde.fr. Le Monde. February 14, 2019.
- ^ "SIGMOD Test of Time Award". Sigmod.org. Sigmod ACM.
- ^ "Lauréats 2007 des Prix de l'Académie des sciences" (PDF). academie-sciences.fr. Académie des sciences. 2007.