Serge Abiteboul

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Serge Abiteboul
Citizenship French
Nationality French
Fields Computer Science
Institutions INRIA
Alma mater University of Southern California
Doctoral advisor Seymour Ginsburg
Known for Abiteboul-Vianu Theorem
Notable awards ACM SIGMOD Edgar F. Codd Innovations Award (1998)
ACM SIGMOD Test of Time Award 2004
Prix d'informatique de l'Académie des Sciences (Prix EADS) 2007
ACM PODS Alberto O. Mendelzon Test-of-Time Award 2008
ISI highly cited researcher

Serge Joseph Abiteboul is a computer scientist working in the areas of data management, database theory, and finite model theory.

He received his PhD from the University of Southern California under the supervision of Seymour Ginsburg, in 1982. He is currently 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.

He is well known for his 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.[1][2] 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. He is also known for two influential books, one on database theory[3] and one on Web data management.[4] He became a member of the French Academy of Sciences in 2008 and a Fellow of the Association for Computing Machinery in 2011[5].

[edit] Footnotes

  1. ^ Serge Abiteboul, Victor Vianu: Generic Computation and Its Complexity STOC 1991: 209-219
  2. ^ Serge Abiteboul, Victor Vianu: Computing with First-Order Logic. J. Comput. Syst. Sci. 50(2): 309-335 (1995)
  3. ^ Serge Abiteboul, Richard B. Hull, Victor Vianu: Foundations of Databases. Addison-Wesley, 1995.
  4. ^ Serge Abiteboul, Peter Buneman, Dan Suciu: Data on the Web : From Relations to Semistructured Data and XML. Morgan Kaufmann 1999
  5. ^ http://fellows.acm.org/fellow_citation.cfm?id=NB53173&srt=year&year=2011

[edit] References

[edit] External links

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox
Print/export
Languages