Ross A. Overbeek | |
|---|---|
| Born | May 16, 1949 |
| Alma mater | Pennsylvania State University |
| Known for | automated theorem proving |
| Scientific career | |
| Fields | Computer science; mathematical logic; bioinformatics |
| Institutions | Argonne National Laboratory |
| Doctoral advisor | Wilson E. Singletary |
Ross A. Overbeek (born May 16, 1949) is an American computer scientist with a long tenure at the Argonne National Laboratory. He has made important contributions to mathematical logic and genomics, as well as programming, particularly in database theory and the programming language Prolog.