Росс А. Овербик (родился 16 мая 1949 г.) — американский учёный-компьютерщик , долгое время работавший в Аргоннской национальной лаборатории . Он внес важный вклад в математическую логику и геномику , а также в программирование , особенно в теорию баз данных и язык программирования Пролог .
Он вырос в Траверс-Сити, штат Мичиган , где на всю жизнь завязал дружбу с Р. У. Брэдфордом , издателем либертарианского периодического журнала Liberty . Он получил степень бакалавра философии. из Государственного колледжа Гранд-Вэлли , магистра Пенсильванского государственного университета в 1970 году и доктора философии. получил степень бакалавра компьютерных наук в Университете штата Пенсильвания в 1971 году. В течение следующих 11 лет он был профессором информатики в Университете Северного Иллинойса . [1]
В начале 1970-х годов устройство для доказательства теорем под названием AURA, что означает « Помощник по автоматизированному рассуждению» , разработанное Овербиком, заменило устройство, которое было стандартом в этой области. [2]
В 1983 году он присоединился к отделу математики и информатики Аргоннской национальной лаборатории , где занимался автоматизированным доказательством теорем , логическим программированием и параллельными вычислениями. В 1980-х годах он заинтересовался применением логического программирования в молекулярной биологии и был назначен в Объединенную информационную рабочую группу, рабочую группу, созданную для консультирования Национальных институтов здравоохранения и Министерства энергетики США по вычислительным требованиям генома человека . Инициатива . [1] Он участвовал в разработке нескольких геномных баз данных, включая PUMA, WIT, ERGO и SEED. [3]
В 1998 году Овербик был одним из нескольких ученых, которые вместе с генеральным директором Майклом Фонштейном основали компанию Integrated Genomics, Inc. Компания производит систему базы данных и аналитики ERGO. [4]
В 2003 году он стал соучредителем Fellowship for Interpretation of Genomes (FIG), некоммерческой организации , которая координирует разработку инструментов биоинформатики и исследования сравнительной геномики . [5] В 2004 году ФПГ в партнерстве с Вычислительным институтом, объединенной Аргоннской лабораторией и институтом Чикагского университета , основала Национальный центр ресурсов данных о микробных патогенах с помощью федерального гранта в размере 18 миллионов долларов. [6]