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