Ross A. Overbeek (nacido el 16 de mayo de 1949) es un informático estadounidense que ha trabajado durante mucho tiempo 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 en la teoría de bases de datos y el lenguaje de programación Prolog .
Creció en Traverse City, Michigan , donde entabló una amistad que duraría toda la vida con RW Bradford , editor de la revista libertaria Liberty . Recibió un B.Ph. del Grand Valley State College , un MS de la Pennsylvania State University en 1970 y un Ph.D. en informática de Penn State en 1971. Durante los siguientes 11 años fue profesor de informática en la Northern Illinois University . [1]
A principios de la década de 1970, un demostrador de teoremas llamado AURA, por AUtomated Reasoning Assistant (Asistente de razonamiento automático) , desarrollado por Overbeek, reemplazó a uno que había sido el estándar en el campo. [2]
En 1983 se incorporó a la División de Matemáticas y Ciencias de la Computación del Laboratorio Nacional de Argonne , donde trabajó en la demostración automatizada de teoremas , la programación lógica y la computación paralela. En la década de 1980 se interesó en la aplicación de la programación lógica a la biología molecular y fue designado miembro del Grupo de Trabajo Conjunto sobre Información, un grupo de trabajo creado 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 científicos que cofundaron la empresa Integrated Genomics, Inc. junto con el director ejecutivo Michael Fonstein. La empresa fabrica el sistema de análisis y base de datos 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 y la investigación genómica comparativa . [5] En 2004, la FIG se asoció con el Computation Institute, una institución conjunta de Argonne Lab y la Universidad de Chicago , para establecer el Centro Nacional de Recursos de Datos sobre Patógenos Microbianos con una subvención federal de $18 millones. [6]
{{cite book}}: Mantenimiento de CS1: otros ( enlace ){{cite book}}: Mantenimiento de CS1: otros ( enlace ){{cite book}}: Mantenimiento de CS1: otros ( enlace )Los defensores del enfoque de resolución no se han quedado en silencio 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 contribuciones de S. Winker, E. Lusk, B. Smith y L. Wos. El sistema ha sido llamado AURA, porAsistente
de
Razonamiento
Automático
.... AURA es visto ahora por sus creadores como una herramienta
de
investigación útil para resolver problemas abiertos sujetos a formulaciones axiomáticas precisas.