Ross Overbeek
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.
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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.