Ross A. Overbeek (born May 16, 1949) is an American computer scientist with a long tenure at the Argonne National Laboratory.
He grew up in Traverse City, Michigan where he struck up a lifelong friendship with R. W. Bradford, publisher of the libertarian periodical Liberty.
[1] In the early 1970s a theorem prover named AURA, for AUtomated Reasoning Assistant, developed by Overbeek replaced one that had been the standard in the field.
In the 1980s he became interested in applying logic programming to molecular biology, and he was appointed to the Joint Information Task Force, a working group established to advise the National Institutes of Health and United States Department of Energy on the computational requirements of the Human Genome Initiative.
[1] He has helped develop multiple genomic databases including PUMA, WIT, ERGO, and SEED.