Росс Овербик
Росс А. Овербек | |
|---|---|
| Рожденный | 16 мая 1949 г. |
| Альма-матер | Государственный университет Пенсильвании |
| Известный | автоматическое доказательство теорем |
| Научная карьера | |
| Поля | Информатика ; математическая логика ; биоинформатика |
| Учреждения | Аргоннская национальная лаборатория |
| Докторантура | Уилсон Э. Синглетари |
Росс А. Овербик (родился 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 ]
Опубликованные работы
[ редактировать ]- Американский национальный стандарт COBOL . с Уилсоном Э. Синглетари. МакГроу-Хилл. 1975. ISBN 978-0070574694 .
{{cite book}}: CS1 maint: другие ( ссылка ) - Овербек, Росс А.; Синглетарий, Уилсон Э. (1983). Язык ассемблера с ASSIST . Ассоциация научных исследований. ISBN 978-0574214355 .
- Автоматизированное рассуждение: введение и применение . с Ларри Восом, Юингом Ласком и Джимом Бойлом. Прентис-Холл. 1984. ISBN 978-0130544469 .
{{cite book}}: CS1 maint: другие ( ссылка ) - Портативные программы для параллельных процессоров . с Юингом Ласком, Джеймсом Бойлом, Ральфом Батлером, Терренсом Дисом, Барнеттом Гликфельдом, Джеймсом Паттерсоном и Риком Стивенсом. Холт, Райнхарт и Уинстон. 1988. ISBN 978-0030141539 .
{{cite book}}: CS1 maint: другие ( ссылка )
Ссылки
[ редактировать ]- ^ Перейти обратно: а б Леон Стерлинг (1990). Практика Пролога . МТИ Пресс . ISBN 0-262-19301-9 .
- ^ Д. У. Лавленд (1984). «Автоматическое доказательство теорем: обзор четверти века» . Современная математика: материалы специальной сессии по автоматическому доказательству теорем, 89-го ежегодного собрания Американского математического общества, проходившего в Денвере, штат Колорадо, 5–9 января 1983 г. Том. 29. Американское математическое общество . ISBN 0-8218-5027-Х .
Сторонники подхода «резолюции» ни в коем случае не сидели сложа руки в 1970-е годы. Примерно в 1972 году средство доказательства теорем Воса, Робинсона и Карсона было заменено устройством, разработанным Россом Овербиком. Система продолжала развиваться при участии С. Винкера, Э. Ласка, Б. Смита и Л. Воса. Система получила название AURA, что означает Помощник » . в рассуждениях « Теперь ее создатели рассматривают AURA как полезный исследовательский инструмент для решения открытых проблем, подлежащих точным аксиоматическим формулировкам.
- ^ «Информация о докладчике» . Институт Биоинформатики. 2005. Архивировано из оригинала 10 августа 2007 г. Проверено 25 ноября 2007 г.
- ^ «Майкл Фанштейн, генеральный директор компании Integrated Genomics Inc., получил награду КПМГ» . Integrated Genomics, Inc., 20 ноября 2000 г. Архивировано из оригинала 19 ноября 2008 г. Проверено 25 ноября 2007 г.
- ^ «Содружество по интерпретации геномов» . Архивировано из оригинала 5 апреля 2005 г. Проверено 24 ноября 2007 г.
- ^ «Центр биоинформатики стоимостью 18 миллионов долларов станет оружием против смертельных болезней» . Аргоннская национальная лаборатория . 3 сентября 2004 года . Проверено 25 ноября 2007 г.
Внешние ссылки
[ редактировать ]- Росс А. Овербик на DBLP библиографическом сервере
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1949 рождений
- Живые люди
- Американские ученые-компьютерщики
- Американские генетики
- Американские математики XX века
- Американские математики XXI века
- Сотрудники Аргоннской национальной лаборатории
- Выпускники Пенсильванского государственного университета
- Жители Траверс-Сити, штат Мичиган.
- Американские писатели-мужчины