Ross A. Overbeek (nacido el 16 de mayo de 1949) es un científico informático estadounidense con una larga trayectoria en el Laboratorio Nacional Argonne . Ha realizado importantes contribuciones a la lógica matemática y la genómica , así como a la programación , en particular a la teoría de bases de datos y al lenguaje de programación Prolog .
Primeros años de vida
Creció en Traverse City, Michigan, donde entabló una amistad de por vida con RW Bradford , editor de la revista libertaria Liberty . Obtuvo una licenciatura en filosofía (B.Ph.) del Grand Valley State College , una maestría (MS) de la Universidad Estatal de Pensilvania en 1970 y un doctorado en informática de Penn State en 1971. Durante los siguientes 11 años fue profesor de informática en la Universidad del Norte de Illinois . [ 1 ]
Carrera
A principios de la década de 1970, un demostrador de teoremas llamado AURA, por AUTOmatized Reasoning Assistant , desarrollado por Overbeek, reemplazó a uno que había sido el estándar en el campo. [ 2 ]
En 1983 se unió a la División de Matemáticas y Ciencias de la Computación del Laboratorio Nacional Argonne , donde trabajó en demostración automatizada de teoremas , programación lógica y computación paralela. En la década de 1980 se interesó en aplicar la programación lógica a la biología molecular y fue nombrado miembro del Grupo de Trabajo Conjunto de Información, un grupo de trabajo establecido para asesorar a los Institutos Nacionales de Salud y al Departamento de Energía de los Estados Unidos sobre los requisitos computacionales de la Iniciativa del Genoma Humano . [ 1 ] Ha ayudado a desarrollar múltiples bases de datos genómicas, incluidas PUMA, WIT, ERGO y SEED. [ 3 ]
En 1998, Overbeek fue uno de los varios científicos que cofundaron la empresa Integrated Genomics, Inc. con el director ejecutivo Michael Fonstein. La empresa fabrica la base de datos y el sistema de análisis ERGO. [ 4 ]
En 2003, cofundó la Fellowship for Interpretation of Genomes (FIG), una organización sin fines de lucro que coordina el desarrollo de herramientas bioinformáticas e investigación en genómica comparativa . [ 5 ] En 2004, la FIG se asoció con el Computation Institute, una institución conjunta del Laboratorio Argonne y la Universidad de Chicago , para establecer el National Microbial Pathogen Data Resource Center con una subvención federal de 18 millones de dólares. [ 6 ]
Obras publicadas
- Estándar Nacional Estadounidense COBOL . Con Wilson E. Singletary. McGraw-Hill. 1975. ISBN 978-0070574694.
{{cite book}}: CS1 mantenimiento: otros ( enlace ) - Overbeek, Ross A.; Singletary, Wilson E. (1983). Lenguaje ensamblador con ASSIST . Science Research Associates. ISBN 978-0574214355.
- Razonamiento automatizado: Introducción y aplicaciones . Con Larry Wos, Ewing Lusk y Jim Boyle. Prentice-Hall. 1984.ISBN 978-0130544469.
{{cite book}}: CS1 mantenimiento: otros ( enlace ) - Programas portátiles para procesadores paralelos . Con Ewing Lusk, James Boyle, Ralph Butler, Terrence Disz, Barnett Glickfeld, James Patterson y Rick Stevens. Holt, Rinehart and Winston. 1988. ISBN 978-0030141539.
{{cite book}}: CS1 mantenimiento: otros ( enlace ) - Overbeek R, Begley T, Butler RM, Choudhuri JV, Chuang HY, Cohoon M, et al. (2005-10-07). "El enfoque de subsistemas para la anotación del genoma y su uso en el proyecto para anotar 1000 genomas" . Nucleic Acids Research . 33 (17): 5691– 5702. doi : 10.1093/nar/ gki866 . PMC 1251668. PMID 16214803 .
Referencias
- 1 2 Leon Sterling (1990). La práctica de Prolog . MIT Press . ISBN 0-262-19301-9.
- ↑ DW Loveland (1984). «Demostración automática de teoremas: una revisión de un cuarto de siglo» . Matemáticas contemporáneas: Actas de la sesión especial sobre demostración automática de teoremas, 89.ª reunión anual de la Sociedad Matemática Americana, celebrada en Denver, Colorado, del 5 al 9 de enero de 1983. Vol. 29. Sociedad Matemática Americana . ISBN 0-8218-5027-X
Los defensores del enfoque de resolución no permanecieron inactivos durante la década de 1970. Alrededor de 1972, el demostrador de teoremas de Wos, Robinson y Carson fue reemplazado por uno desarrollado por Ross Overbeek. El sistema continuó desarrollándose con contribuciones de S. Winker, E. Lusk, B. Smith y L. Wos. El sistema recibió el nombre de AURA, por
Asistentede
Razonamiento
Automático
.
Actualmente, sus creadores consideran a AURA una herramienta de investigación útil para resolver problemas abiertos sujetos a formulaciones axiomáticas precisas
.
- ↑ "Información del orador" . El Instituto de Bioinformática. 2005. Archivado del original el 10 de agosto de 2007. Consultado el 25 de noviembre de 2007 .
- ↑ "Michael Fonstein, director ejecutivo de Integrated Genomics Inc., gana el premio KPMG" . Integrated Genomics, Inc. 20 de noviembre de 2000. Archivado del original el 19 de noviembre de 2008. Consultado el 25 de noviembre de 2007 .
- ↑ "Beca para la interpretación de genomas" . Archivado del original el 5 de abril de 2005. Consultado el 24 de noviembre de 2007 .
- ↑ "Centro de bioinformática de 18 millones de dólares se convertirá en un arma contra enfermedades mortales" . Laboratorio Nacional Argonne . 3 de septiembre de 2004. Consultado el 25 de noviembre de 2007 .
Enlaces externos
- Ross A. Overbeek en el servidor de bibliografía DBLP
- Nacimientos en 1949
- Personas vivas
- científicos informáticos estadounidenses
- genetistas estadounidenses
- matemáticos estadounidenses del siglo XX
- matemáticos estadounidenses del siglo XXI
- Personal del Laboratorio Nacional Argonne
- ex alumnos de la Universidad Estatal de Pensilvania
- Gente de Traverse City, Michigan
- escritores estadounidenses