Росс Овербек - Ross Overbeek

Росс А. Овербек
Родившийся (1949-05-16) 16 мая 1949 г. (71 год)
Альма-матерГосударственный университет Пенсильвании
Известенавтоматическое доказательство теорем
Научная карьера
ПоляИнформатика;
математическая логика;
биоинформатика
УчрежденияАргоннская национальная лаборатория
ДокторантУилсон Э. Синглетари

Росс А. Овербек (родился 16 мая 1949 г.) - американец специалист в области информатики с долгим пребыванием в Аргоннская национальная лаборатория. Он внес важный вклад в математическая логика и геномика, а также программирование, особенно в теория баз данных и язык программирования Пролог.

Ранние годы

Он вырос в Траверс-Сити, Мичиган где он завязал дружбу на всю жизнь с Р. В. Брэдфорд, издатель либертарианец периодическое издание Свобода. Он получил B.Ph. из Государственный колледж Гранд-Вэлли, М.С. из Государственный университет Пенсильвании в 1970 г. и доктор философии. получил степень доктора компьютерных наук в Университете Пенсильвании в 1971 году. В течение следующих 11 лет он был профессором компьютерных наук в Университет Северного Иллинойса.[1]

Карьера

В начале 1970-х годов программа доказательства теорем по имени AURA, Ассистент автоматизированного мышления, разработанный Overbeek заменил тот, который был стандартом в этой области.[2]

В 1983 году он присоединился к отделению математики и информатики Аргоннская национальная лаборатория, работа над автоматическое доказательство теорем, логическое программирование и параллельные вычисления. В 1980-х годах он заинтересовался применением логического программирования в молекулярной биологии, и его назначили в Joint Information Task Force, рабочую группу, созданную для консультирования Национальные институты здоровья и Министерство энергетики США о вычислительных требованиях Инициатива по геному человека.[1] Он помог разработать несколько геномных баз данных, включая PUMA, WIT, ERGO и SEED.[3]

В 1998 году Овербек был одним из нескольких ученых, которые вместе с генеральным директором Майклом Фонштейном основали компанию Integrated Genomics, Inc. Компания создает базу данных и систему аналитики ERGO.[4]

В 2003 году он стал соучредителем Сообщества по интерпретации геномов (FIG), некоммерческая организация который координирует разработку инструментов биоинформатики и сравнительных исследований геномики.[5] В 2004 году ФИЖ стал партнером вычислительного института, объединенной аргоннской лаборатории и Чикагский университет учреждение для создания Национального центра ресурсов данных о микробных патогенах с федеральным грантом в размере 18 миллионов долларов.[6]

Опубликованные работы

  • Американский национальный стандарт COBOL. с Уилсоном Э. Синглетари. 1975 г. ISBN  978-0070574694.CS1 maint: другие (связь)
  • Язык ассемблера с ASSIST. 1983. ISBN  978-0574214355.
  • Автоматизированное рассуждение: введение и применение. с Ларри Восом, Юингом Ласком и Джимом Бойлом. 1984 г. ISBN  978-0130544469.CS1 maint: другие (связь)
  • Переносимые программы для параллельных процессоров. с Юингом Ласком, Джеймсом Бойлом, Ральфом Батлером, Терренсом Дисом, Барнеттом Гликфельдом, Джеймсом Паттерсоном и Риком Стивенсом. 1988 г. ISBN  978-0030141539.CS1 maint: другие (связь)

Рекомендации

  1. ^ а б Леон Стерлинг (1990). Практика Пролога. MIT Press. ISBN  0-262-19301-9.
  2. ^ Д. В. Ловленд (1984). "Автоматическое доказательство теорем: обзор за четверть века". Современная математика: материалы специальной сессии по автоматическому доказательству теорем 89-го ежегодного собрания Американского математического общества, проходившего в Денвере, Колорадо, 5–9 января 1983 г.. 29. Американское математическое общество. ISBN  0-8218-5027-X. Сторонники подхода резолюции отнюдь не бездействовали в 1970-е годы. Приблизительно в 1972 году средство доказательства теорем Вос, Робинсона и Карсона было заменено на устройство, разработанное Россом Овербиком. Система продолжала развиваться при участии С. Винкера, Э. Ласка, Б. Смита и Л. Воса. Система получила название AURA, за Австралиятомированный рослабление Аssistant .... AURA теперь рассматривается ее создателями как полезный исследовательский инструмент для решения открытых проблем с учетом точных аксиоматических формулировок.
  3. ^ «Информация о спикере». Институт биоинформатики. 2005. Архивировано с оригинал на 2007-08-10. Получено 2007-11-25.
  4. ^ «Майкл Фонштейн, генеральный директор Integrated Genomics Inc., получил награду КПМГ». Integrated Genomics, Inc. 20 ноября 2000 г. Архивировано с оригинал 19 ноября 2008 г.. Получено 2007-11-25.
  5. ^ «Сообщество по интерпретации геномов». Архивировано из оригинал на 2005-04-05. Получено 2007-11-24.
  6. ^ «Центр биоинформатики за 18 миллионов долларов станет оружием против смертельных болезней». Аргоннская национальная лаборатория. 3 сентября 2004 г.. Получено 2007-11-25.

внешняя ссылка