Введение

Американский математик

Росс А. Овербек (родился 16 мая 1949 года) — американский учёный в области компьютерных наук, долгое время работавший в Аргоннской национальной лаборатории. Он внес значительный вклад в математическую логику и геномику, а также в программирование, в частности в теорию баз данных и язык программирования Prolog.

Ранние годы

Он вырос в Траверс-Сити, штат Мичиган, где завязал пожизненную дружбу с Р. У. Брэдфордом, издателем либертарианского периодического издания Liberty. Он получил степень бакалавра философии (B. Ph.) в Grand Valley State College, степень магистра наук (M. S.) в Университете штата Пенсильвания в 1970 году и степень доктора философии (Ph. D.) по компьютерным наукам в Penn State в 1971 году. В течение следующих 11 лет он преподавал компьютерные науки в Университете Северного Иллинойса.

Карьера

В начале 1970-х годов программа доказательства теорем AURA (AUtomated Reasoning Assistant), разработанная Овербиком, заменила программу, которая до этого считалась стандартом в данной области. В 1983 году он присоединился к отделу математики и компьютерных наук Аргоннской национальной лаборатории, где занимался автоматическим доказательством теорем, логическим программированием и параллельными вычислениями. В 1980-х годах он заинтересовался применением логического программирования в молекулярной биологии и был назначен в Совместную информационную рабочую группу, созданную для консультирования Национальных институтов здоровья и Министерства энергетики США по вопросам вычислительных ресурсов, необходимых для реализации проекта «Геном человека». В 1998 году Овербик вместе с генеральным директором Майклом Фонштейном стал одним из основателей компании Integrated Genomics, Inc. Компания разрабатывает базу данных ERGO и аналитическую систему. В 2003 году он стал соучредителем Fellowship for Interpretation of Genomes (FIG) – некоммерческой организации, координирующей разработку инструментов биоинформатики и исследований в области сравнительной геномики. В 2004 году FIG объединила усилия с Институтом вычислительных исследований, совместным учреждением Аргоннской лаборатории и Чикагского университета, для создания Национального центра данных о микробных патогенах, получив федеральный грант в размере 18 миллионов долларов.