Oscar Peter Buneman , MBE , FRS , FRSE (nacido en 1943) es un informático británico que trabaja en las áreas de sistemas de bases de datos y teoría de bases de datos . [10] [11] [12] [13] [14] [15] [16]
Buneman se educó en la Universidad de Cambridge , donde obtuvo una Licenciatura en Artes mientras estudiaba Cambridge Mathematical Tripos en Gonville and Caius College, Cambridge . Buneman pasó a estudiar en la Universidad de Warwick , donde recibió su doctorado en 1970. [4]
Después de su doctorado, Buneman trabajó brevemente en la Universidad de Edimburgo, seguido de una cátedra de informática en la Universidad de Pensilvania , que ocupó durante varias décadas. En 2002, se trasladó a la Universidad de Edimburgo , donde creó el grupo de investigación de bases de datos. Es uno de los fundadores y director asociado de investigación del Centro de Curación Digital del Reino Unido , [3] que se encuentra en Edimburgo .
Buneman es conocido por su investigación en sistemas de bases de datos y teoría de bases de datos, en particular por establecer conexiones entre bases de datos y teoría de lenguajes de programación , [17] como la introducción de lenguajes de consulta basados en mónadas para relaciones anidadas y bases de datos de objetos complejos. [18] También fue pionero en la investigación sobre la gestión de datos semiestructurados , [19] [20] y, recientemente, en la investigación sobre la procedencia de los datos , las anotaciones y la curación digital.
En biología computacional , es conocido por su trabajo en la reconstrucción de árboles filogenéticos [21] basados en gráficos de Buneman , que llevan su nombre.
Buneman es miembro de la Royal Society , miembro de la ACM , miembro de la Royal Society de Edimburgo y ha ganado el premio Wolfson Research Merit Award de la Royal Society . Ha presidido las dos conferencias de investigación más importantes en gestión de datos , SIGMOD (en 1993) y VLDB (en 2008), así como la principal conferencia de teoría de bases de datos, PODS (en 2001).
Buneman fue nombrado Miembro de la Orden del Imperio Británico (MBE) en los Honores de Año Nuevo de 2013 por sus servicios a sistemas de datos e informática. [22] Su nominación para la Royal Society dice
Peter Buneman se distingue por sus avances en la unión de lenguajes de programación y bases de datos. Desde el punto de vista teórico, esto ha implicado nuevos resultados en tipos, mónadas y recursividad estructural, incluida (con su alumno Ohori) la inferencia de tipos para tipos de registros, y (con Tannen et al) resultados que demostraron una estrecha conexión entre los lenguajes basados en mónadas y los basados en mónadas. en el cálculo de predicados. En lo que respecta a las aplicaciones, utilizó estas técnicas para demostrar que, contrariamente a lo que afirma el Departamento de Energía de EE. UU., las consultas sobre bases de datos genómicas no relacionales existentes podían evaluarse directamente; Siguió una fructífera colaboración con los biólogos.
Esta investigación se traslada a su reciente estudio sobre los principios de los datos semiestructurados o "similares a una red". Es uno de los principales defensores de este nuevo campo y coautor del primer libro de texto sobre el mismo. Otra preocupación reciente es la procedencia de los datos en la Web, donde se copian y transforman continuamente. Ya, con Khanna et al. ha creado un sistema de archivo eficaz para bases de datos científicas; más fundamentalmente, busca una base formal para rastrear la procedencia.
Además de su trabajo en bases de datos, los primeros trabajos de Buneman sobre filogenia matemática son la base de la mayoría de las técnicas modernas de reconstrucción filogenética. [1]
Buneman es hijo del físico Oscar Buneman .
{{cite web}}
: La cita utiliza un título genérico ( ayuda ){{cite web}}
: Mantenimiento CS1: varios nombres: lista de autores ( enlace )