Científico informático francés
Serge Joseph Abiteboul (nacido el 25 de agosto de 1953 en París , Francia) [8] es un científico informático francés que trabaja en las áreas de gestión de datos , teoría de bases de datos y teoría de modelos finitos . [2] [1] [9] [7]
Educación
Hijo de dos propietarios de ferreterías, Abiteboul asistió a la escuela secundaria en Romorantin y a las clases preparatorias de la escuela superior en Tours . [10] Fue admitido en la escuela de ingeniería Télécom Paris y estudió en el Technion de Haifa durante un año. [11]
Abiteboul recibió su doctorado de la Universidad del Sur de California bajo la supervisión de Seymour Ginsburg , en 1982. [12] [3]
Carrera e investigación
Abiteboul es investigador principal en el Institut national de recherche en informatique et en automatique (INRIA) , el instituto nacional de investigación francés centrado en la informática y áreas relacionadas, y ha sido profesor del Collège de France . [13]
Es conocido por sus numerosas contribuciones en las áreas de teoría de modelos finitos , teoría de bases de datos y sistemas de bases de datos. En la teoría de modelos finitos, el teorema de Abiteboul-Vianu establece que el tiempo polinomial es igual a PSPACE si y solo si la lógica de punto fijo es la misma que la lógica de punto fijo parcial. [14] [15] En teoría de bases de datos, ha contribuido con una amplia variedad de resultados, el más reciente sobre lenguajes para el procesamiento distribuido de datos XML. En gestión de datos, es más conocido por su trabajo temprano en bases de datos semiestructuradas y web. En 2008, según Citeseer , es el investigador más citado en el área de gestión de datos que trabaja en una institución europea.
Abiteboul también es conocido por dos libros, uno sobre teoría de bases de datos [16] y otro sobre gestión de datos web. [7] Escribe con frecuencia para periódicos franceses, incluidos Le Monde, [17] Libération [18] y La Tribune [19].
Abiteboul, miembro de la ARCEP , la agencia independiente encargada de regular las telecomunicaciones en Francia, [20] ha sido un defensor de la neutralidad de la red. [18] También ha sido crítico de los asistentes virtuales y su impacto en la privacidad. [21]
En 2019, se encuentra entre los miembros de un grupo encargado por el gobierno francés de abordar el acoso y la intimidación en línea. [22]
Premios y honores
Abiteboul fue galardonado con el premio Test of Time de la Asociación para Maquinaria Computacional (ACM) SIGMOD en 2004, [23] el Prix EADS en 2007 [24] y el premio Test-of-Time Alberto O. Mendelzon de la ACM PODS (2008). [ cita requerida ] Abiteboul fue elegido miembro de la Academia Francesa de Ciencias en 2008, [8] de la Academia Europea de Ciencias en 2011 y miembro de la ACM en 2011. [1]
Referencias
- ^ abc Página de perfil del autor Serge Abiteboul en la Biblioteca Digital ACM
- ^ Publicaciones de Serge Abiteboul indexadas por Google Scholar
- ^ de Serge Abiteboul en el Proyecto de Genealogía Matemática
- ^ "Les Membres de l'Académie des sciences élus en 2008 et 2009" (PDF) . academie-sciences.fr . Academia de Ciencias. 16 de junio de 2009.
- ^ Immerman, Neil (2012). "12.6 Teoremas de Abiteboul-Vianu y Otto". Complejidad descriptiva . Nueva York: Springer. pág. 193. ISBN 9781461205395.
- ^ Dawar A, Hella L, Seth A (24 de junio de 1998). "Ordenamiento de tipos de variables finitas con cuantificadores generalizados". Actas. Decimotercer Simposio Anual IEEE sobre Lógica en Ciencias de la Computación (Cat. No.98CB36226) . pp. 28–43. doi :10.1109/LICS.1998.705641. ISBN 978-0-8186-8506-4. Número de identificación del sujeto 206438299.
- ^ abc Abiteboul, Serge; Buneman, Peter ; Suciu, Dan (2000). Datos en la Web: de las relaciones a los datos semiestructurados y XML . Morgan Kaufmann. ISBN 978-1558606227.
- ^ ab "11 nuevos miembros élus à l'Académie des sciences" (PDF) . academie-sciences.fr . Academia de Ciencias. 17 de diciembre de 2008.
- ^ Serge Abiteboul en el servidor de bibliografía DBLP
- ^ "Serge Abiteboul par-delà les données". lanouvellerepublique.fr . La nueva República. 20 de mayo de 2017.
- ^ "Serge Abiteboul: Sciences des données, de la logique du premier ordre à la Toile". franceculture.fr . Cultura de Francia. 4 de agosto de 2016.
- ^ Abiteboul, Serge Joseph (1982). Funciones de correspondencia y desagregaciones en bases de datos (tesis doctoral). Universidad del Sur de California. OCLC 8982457. ProQuest 303233018.
- ^ "Liste des professeurs depuis la fondation du Collège de France en 1530" (PDF) . college-de-france.fr . Colegio de Francia. Archivado desde el original (PDF) el 3 de marzo de 2016.
- ^ Abiteboul, S.; Vianu, V. (1991). "Computación genérica y su complejidad". Actas del vigésimo tercer simposio anual de la ACM sobre teoría de la computación - STOC '91 . p. 209. doi :10.1145/103418.103444. ISBN 978-0897913973. Número de identificación del sujeto 12707902.
- ^ Abiteboul, S.; Vianu, V. (1995). "Computación con lógica de primer orden". Revista de Ciencias de la Computación y de Sistemas . 50 (2): 309. doi : 10.1006/jcss.1995.1025 .
- ^ Serge Abiteboul, Richard B. Hull, Victor Vianu : Fundamentos de bases de datos. Addison-Wesley, 1995. http://webdam.inria.fr/Alice/ ISBN 0201537710
- ^ "Salsa numérique de ciencia ficción". limonde.fr . El mundo. 18 de enero de 2019.
- ^ ab "Pourquoi Internet doit rester neutre". liberación.fr . Liberación. 5 de julio de 2018.
- ^ "Des robots à l'hôpital". latribune.fr . La Tribuna. 28 de enero de 2019.
- ^ "Internet: ¿neutre mais pas trop?". franceculture.fr . Cultura de Francia. 5 de septiembre de 2019.
- ^ "Il vaudrait mieux listeningre l'arrivée d'assistants vocaux soucieux de protéger nos données". limonde.fr . El mundo. 26 de junio de 2018.
- ^ "Comentar la France compte lutter contre la haine et le harcèlement en ligne". limonde.fr . El mundo. 14 de febrero de 2019.
- ^ "Premio SIGMOD a la prueba del tiempo". Sigmod.org . Sigmod ACM.
- ^ "Lauréats 2007 des Prix de l'Académie des sciences" (PDF) . academie-sciences.fr . Academia de Ciencias. 2007.