|
Serge Abiteboul, né le 25 août 1953, est directeur de recherche à l'INRIA.
Formation et carrière
| 1977 |
Diplôme d'ingénieur de l'ENST (Telecom ParisTech) |
| 1978-1982 |
Assistant de Recherche au Technion de Haïfa puis à l'University of Southern California (USC) |
| 1982 |
Ph.D. in Computer Science de l'University of Southern California |
| 1982- |
Chercheur à l'INRIA
|
| 1986 |
Thèse d'Etat de l'Université Paris Sud |
| 1986- |
Directeur de recherche à l'INRIA au centre de recherche de Saclay |
| 2003- |
Membre du laboratoire de recherche en informatique (LRI), université Paris Sud et CNRS |
| 2008- |
Membre du laboratoire de spécification et vérification (LSV), École normale supérieure de Cachan et CNRS
|
Autres fonctions |
| 1990-2003 |
Professeur à temps partiel à l'École Polytechnique |
| 1995-1997 |
Professeur invité à Stanford University |
| 1995-1997 |
Consultant pour la NASA |
| 2000 |
Co-fondateur de Xyleme |
| 2008 |
Plumer fellow au St Anne's College, University of Oxford |
uvre scientifique
Les travaux de Serge Abiteboul se situent dans le cadre de la gestion d'information. Ils ont porté notamment sur les domaines suivants : bases de données relationnelles, bases de données objets, bases de données actives, gestion d'information sur le Web, gestion de données distribuées. Certains de ses résultats, notamment obtenus avec Victor Vianu, se situent à la frontière de la théorie de la complexité (en informatique) et de la théorie des modèles finis (en logique mathématique).
Serge Abiteboul a aussi participé au développement de systèmes et notamment avec Sophie Cluet, à la création d'une start-up, Xyleme.
Il a présidé les comités de programme de conférences internationales majeures dans plusieurs domaines de l'informatique : VLDB-2009 (systèmes de bases de données), ACM PODS-1995 et ICDT-90 (théorie des bases de données), ICALP-1994 (informatique théorique), ECDL-99 (bibliothèques numériques).
Son principal projet actuel est le projet Webdam du Conseil Européen de la Recherche sur "Foundations of Web Data Management".
Distinctions et Prix
ACM SIGMOD Innovation Award (1998)
ACM SIGMOD Test-of-Time Award (2004)
Prix de la Fondation d'entreprise EADS de l'Académie des sciences (2007)
ACM PODS Alberto O. Mendelzon Test-of-Time Award (2008)
Publications les plus représentatives
Serge Abiteboul, Richard Hull
IFO: A Formal Semantic Database Model
ACM Trans. Database Syst. 12(4): 525-565 (1987)
Serge Abiteboul, Moshe Y. Vardi, Victo r Vianu
Fixpoint logics, relational machines, and computational complexity
J. ACM 44(1): 30-56 (1997)
Serge Abiteboul, Dallan Quass, Jason McHugh, Jennifer Widom, Janet L. Wiener
The Lorel Query Language for Semistructured Data
Int. J. on Digital Libraries 1(1): 68-88 (1997)
Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu
Reflective Relational Machines
Inf. Comput. 143(2): 110-136 (1998)
Serge Abiteboul, Paris C. Kanellakis
Object Identity as a Query Language Primitive
J. ACM 45(5): 798-842 (1998)
Amélie Marian, Serge Abiteboul, Gregory Cobia, Laurent Mignet
Change-Centric Management of Versions in an XML Warehouse
VLDB 2001: 581-590 (2001)
Serge Abiteboul, Omar Benjelloun, Tova Milo
The Active XML project: an overview
VLDB J. 17(5): 1019-1040 (2008)
Principaux ouvrages
Serge Abiteboul, Rick Hull, Victor Vianu
Foundations of databases
Ed. Addison-Wesley (1995) (traduction française)
Serge Abiteboul, Peter Buneman, Dan Suciu
Data on the Web: From Relations to Semistructured Data and Xml
Ed. Morgan Kaufmann (2000) (traduction en portugais, Gerenciando Dados na Web, et en japonais)
Serge Abiteboul et Luc Blanchard
Hirondelles sur le Web
Ed. Studio graph. (2005)
Le 5 mars 2009
|