Ross A. Overbeek (nacido el 16 de mayo de 1949) es un 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 , particularmente en la teoría de bases de datos y el lenguaje de programación Prolog .
Ross A. Overbeek | |
---|---|
Nació | |
alma mater | Universidad del Estado de Pensilvania |
Conocido por | demostración automatizada del teorema |
Carrera científica | |
Campos | Ciencias de la computación ; lógica matemática ; bioinformática |
Instituciones | Laboratorio Nacional Argonne |
Asesor de doctorado | Wilson E. Singletary |
Vida temprana
Creció en Traverse City, Michigan, donde entabló una amistad de por vida con RW Bradford , editor del periódico libertario Liberty . Recibió un B.Ph. de Grand Valley State College , una maestría de la Universidad Estatal de Pennsylvania en 1970, y un Ph.D. en Ciencias de la Computación de Penn State en 1971. Durante los siguientes 11 años fue profesor de Ciencias de la Computación en la Universidad del Norte de Illinois . [1]
Carrera profesional
A principios de la década de 1970, un probador de teoremas llamado AURA, para AUtomated 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 e Informática del Laboratorio Nacional Argonne , trabajando en la demostración automatizada de teoremas , programación lógica y cálculo paralelo. 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 Joint Information Task Force, 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 del genoma humano Iniciativa . [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 varios científicos que cofundó la empresa Integrated Genomics, Inc. con el director ejecutivo Michael Fonstein. La empresa fabrica el sistema de análisis y base de datos ERGO. [4]
En 2003, cofundó el Fellowship for Interpretation of Genomes (FIG), una organización sin fines de lucro que coordina el desarrollo de herramientas bioinformáticas y la investigación en genómica comparada. [5] En 2004, la FIG se asoció con el Instituto de Computación, una institución conjunta de Argonne Lab y la Universidad de Chicago , para establecer el Centro Nacional de Recursos de Datos de Patógenos Microbianos con una subvención federal de $ 18 millones. [6]
Obras publicadas
- Norma Nacional Estadounidense COBOL . con Wilson E. Singletary. 1975. ISBN 978-0070574694.CS1 maint: otros ( enlace )
- Overbeek, Ross A .; Singletary, Wilson E. (1983). Lenguaje ensamblador con ASSIST . ISBN 978-0574214355.
- Razonamiento automatizado: Introducción y aplicaciones . con Larry Wos, Ewing Lusk y Jim Boyle. 1984.ISBN 978-0130544469.CS1 maint: otros ( enlace )
- Programas portátiles para procesadores paralelos . con Ewing Lusk, James Boyle, Ralph Butler, Terrence Disz, Barnett Glickfeld, James Patterson y Rick Stevens. 1988. ISBN 978-0030141539.CS1 maint: otros ( enlace )
Referencias
- ^ a b Leon Sterling (1990). La práctica de Prolog . Prensa del MIT . ISBN 0-262-19301-9.
- ^ DW Loveland (1984). "Demostración automatizada de teoremas: una revisión de un cuarto de siglo" . Contemporary Mathematics: Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, celebrada en Denver, Colorado, del 5 al 9 de enero de 1983 . 29 . Sociedad Matemática Estadounidense . ISBN 0-8218-5027-X.
Los defensores del enfoque de resolución no han permanecido quietos 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 ha seguido desarrollándose con las contribuciones de S. Winker, E. Lusk, B. Smith y L. Wos. El sistema ha sido llamado AURA, por AU tomated R easoning A ssistant .... AURA es ahora visto por sus creadores como 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 desde el 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 desde el original el 19 de noviembre de 2008 . Consultado el 25 de noviembre de 2007 .
- ^ "Beca de Interpretación de Genomas" . Archivado desde el original el 5 de abril de 2005 . Consultado el 24 de noviembre de 2007 .
- ^ "Centro de bioinformática de $ 18 millones para convertirse en 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