Ross Overbeek

He grew up in Traverse City, Michigan where he struck up a lifelong friendship with R. W. Bradford, publisher of the libertarian periodical Liberty. He received a B.Ph. from Grand Valley State College, an M.S. from Pennsylvania State University in 1970, and a Ph.D. in computer science from Penn State in 1971. For the next 11 years he was a computer science professor at Northern Illinois University.{{cite book ==Career==

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 2003, he co-founded the Fellowship for Interpretation of Genomes (FIG), a non-profit organization that coordinates the development of bioinformatics tools and comparative genomics research. In 2004, the FIG partnered with the Computation Institute, a joint Argonne Lab and University of Chicago institution, to establish the National Microbial Pathogen Data Resource Center with an $18 million federal grant.{{cite news ==Published works==