Росс Овербик
Росс А. Овербик | |
|---|---|
| Рожденный | ( 1949-05-16 )16 мая 1949 г. |
| Альма-матер | Университет штата Пенсильвания |
| Известный | автоматизированное доказательство теорем |
| Научная карьера | |
| Поля | Информатика ; математическая логика ; биоинформатика |
| Учреждения | Аргоннская национальная лаборатория |
| научный руководитель | Уилсон Э. Синглетари |
Росс А. Овербик (родился 16 мая 1949 года) — американский учёный-компьютерщик , долгое время работавший в Аргоннской национальной лаборатории . Он внёс важный вклад в математическую логику и геномику , а также в программирование , в частности в теорию баз данных и язык программирования Prolog .
Ранний период жизни
Он вырос в Трэверс-Сити, штат Мичиган , где завязал дружбу на всю жизнь с Р. В. Брэдфордом , издателем либертарианского периодического издания Liberty . Он получил степень бакалавра наук в колледже Гранд-Вэлли , степень магистра наук в Университете штата Пенсильвания в 1970 году и степень доктора наук в области компьютерных наук в Университете штата Пенсильвания в 1971 году. В течение следующих 11 лет он был профессором компьютерных наук в Университете Северного Иллинойса . [1]
Карьера
В начале 1970-х годов доказательная система теорем под названием AURA ( Automated Reasoning Assistant) , разработанная Овербеком, заменила ту, которая была стандартом в этой области. [2]
В 1983 году он присоединился к Отделению математики и компьютерных наук Аргоннской национальной лаборатории , работая над автоматизированным доказательством теорем , логическим программированием и параллельными вычислениями. В 1980-х годах он заинтересовался применением логического программирования к молекулярной биологии и был назначен в Объединенную информационную целевую группу, рабочую группу, созданную для консультирования Национальных институтов здравоохранения и Министерства энергетики США по вычислительным требованиям Инициативы по геному человека . [1] Он помог разработать несколько геномных баз данных, включая PUMA, WIT, ERGO и SEED. [3]
В 1998 году Овербик был одним из нескольких ученых, которые совместно с генеральным директором Майклом Фонштейном основали компанию Integrated Genomics, Inc. Компания производит базу данных и аналитическую систему ERGO. [4]
В 2003 году он стал соучредителем Ассоциации по интерпретации геномов (FIG), некоммерческой организации , которая координирует разработку инструментов биоинформатики и сравнительных геномных исследований. [5] В 2004 году FIG объединилась с Институтом вычислений, совместным учреждением Аргоннской лаборатории и Чикагского университета , для создания Национального центра ресурсов данных о микробных патогенах с федеральным грантом в размере 18 миллионов долларов. [6]
Опубликованные работы
- Американский национальный стандарт COBOL . с Уилсоном Э. Синглтери. McGraw-Hill. 1975. ISBN 978-0070574694.
{{cite book}}: CS1 maint: другие ( ссылка ) - Overbeek, Ross A.; Singletary, Wilson E. (1983). Язык ассемблера с ASSIST . Science Research Associates. ISBN 978-0574214355.
- Автоматизированное рассуждение: введение и применение . с Ларри Восом, Эвингом Ласком и Джимом Бойлом. Prentice-Hall. 1984. ISBN 978-0130544469.
{{cite book}}: CS1 maint: другие ( ссылка ) - Переносимые программы для параллельных процессоров . с Юингом Ласком, Джеймсом Бойлом, Ральфом Батлером, Терренсом Дисом, Барнеттом Гликфельдом, Джеймсом Паттерсоном и Риком Стивенсом. Холт, Райнхарт и Уинстон. 1988. ISBN 978-0030141539.
{{cite book}}: CS1 maint: другие ( ссылка )
Ссылки
- ^ ab Леон Стерлинг (1990). Практика Пролога. MIT Press . ISBN 0-262-19301-9.
- ^ DW Loveland (1984). "Автоматическое доказательство теорем: обзор за четверть века". Contemporary Mathematics: Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, проходившей в Денвере, штат Колорадо, 5–9 января 1983 г. Том 29. Американское математическое общество . ISBN 0-8218-5027-X.
Сторонники подхода резолюции никоим образом не были спокойны в 1970-х годах. Около 1972 года доказатель теорем Воса, Робинсона и Карсона был заменен на разработанный Россом Овербиком. Система продолжала развиваться с участием С. Уинкера, Э. Ласка, Б. Смита и Л. Воса. Система была названа AURA, что означает AU tomated R easoning Assistant .... В настоящее время ее создатели рассматривают AURA как полезный исследовательский инструмент для решения открытых проблем, подчиняющихся точным аксиоматическим формулировкам.
- ^ "Информация о докладчике". Институт биоинформатики. 2005. Архивировано из оригинала 2007-08-10 . Получено 2007-11-25 .
- ^ "Майкл Фонштейн, генеральный директор Integrated Genomics Inc., выигрывает премию KPMG". Integrated Genomics, Inc. 20 ноября 2000 г. Архивировано из оригинала 19 ноября 2008 г. Получено 25 ноября 2007 г.
- ^ "Fellowship for Interpretation of Genomes". Архивировано из оригинала 2005-04-05 . Получено 2007-11-24 .
- ^ "Биоинформационный центр стоимостью 18 миллионов долларов станет оружием против смертельных болезней". Аргоннская национальная лаборатория . 3 сентября 2004 г. Получено 25 ноября 2007 г.
Внешние ссылки
- Росс А. Овербик на сервере библиографии DBLP
