Ross Overbek - Ross Overbeek

Ross A. Overbeek
Tug'ilgan (1949-05-16) 1949 yil 16-may (71 yosh)
Traverse Siti, Michigan
Olma materPensilvaniya shtati universiteti
Ma'lumavtomatlashtirilgan teorema
Ilmiy martaba
MaydonlarKompyuter fanlari;
matematik mantiq;
bioinformatika
InstitutlarArgonne milliy laboratoriyasi
Doktor doktoriUilson E. Singletari

Ross A. Overbeek (1949 yil 16-mayda tug'ilgan) - amerikalik kompyutershunos da uzoq muddat ishlagan holda Argonne milliy laboratoriyasi. U muhim hissa qo'shdi matematik mantiq va genomika, shu qatorda; shu bilan birga dasturlash, xususan ma'lumotlar bazasi nazariyasi va dasturlash tili Prolog.

Hayotning boshlang'ich davri

U o'sgan Traverse Siti, Michigan u erda u bilan umrbod do'stlik o'rnatdi R. V. Bradford, nashriyoti ozodlik davriy Ozodlik. U B.Ph.ni qabul qildi. dan Grand Valley State kolleji, M.S. dan Pensilvaniya shtati universiteti 1970 yilda va fan nomzodi 1971 yilda Penn shtatidan kompyuter fanida. Keyingi 11 yil davomida u informatika professori bo'lgan Shimoliy Illinoys universiteti.[1]

Karyera

1970-yillarning boshlarida AURA nomli teorema proverti AUtomated Reasoning AssistantOverbeek tomonidan ishlab chiqilgan, bu sohada standart bo'lgan birini almashtirdi.[2]

1983 yilda Matematika va informatika bo'limiga qo'shildi Argonne milliy laboratoriyasi, ustida ishlash avtomatlashtirilgan teorema, mantiqiy dasturlash va parallel hisoblash. 1980-yillarda u mantiqiy dasturlashni molekulyar biologiyaga tatbiq etishga qiziqib qoldi va u Birlashgan Axborot Vazifasi guruhiga tayinlandi, bu maslahat berish uchun tashkil etilgan. Milliy sog'liqni saqlash institutlari va Amerika Qo'shma Shtatlari Energetika vazirligi ning hisoblash talablari bo'yicha Inson genomlari tashabbusi.[1] U PUMA, WIT, ERGO va SEED kabi ko'plab genomik ma'lumotlar bazalarini ishlab chiqishda yordam berdi.[3]

1998 yilda Overbeek bosh direktor Maykl Fonstein bilan birgalikda Integrated Genomics, Inc kompaniyasiga asos solgan bir qancha olimlardan biri edi. Kompaniya ERGO ma'lumotlar bazasi va tahlil tizimini ishlab chiqaradi.[4]

2003 yilda u Genomlarni talqin qilish bo'yicha Fellowship (FIG) ni asos solgan, a notijorat tashkilot bioinformatika vositalari va qiyosiy genomika tadqiqotlarini ishlab chiqishni muvofiqlashtiradigan.[5] 2004 yilda FIG Hisoblash instituti, Argonne laboratoriyasi va Chikago universiteti 18 million dollarlik federal grant evaziga Milliy Mikrobial Patogen Ma'lumotlar Resurs Markazini tashkil etish.[6]

Nashr etilgan asarlar

  • Amerika milliy standarti COBOL. Wilson E. Singletary bilan. 1975 yil. ISBN  978-0070574694.CS1 maint: boshqalar (havola)
  • ASSIST bilan assembler tili. 1983. ISBN  978-0574214355.
  • Avtomatlashtirilgan fikrlash: Kirish va qo'llanmalar. Larri Vos, Eving Lusk va Jim Boyl bilan. 1984 yil. ISBN  978-0130544469.CS1 maint: boshqalar (havola)
  • Parallel protsessorlar uchun ko'chma dasturlar. Eving Lusk, Jeyms Boyl, Ralf Butler, Terrens Disz, Barnett Glikfeld, Jeyms Patterson va Rik Stivens bilan. 1988 yil. ISBN  978-0030141539.CS1 maint: boshqalar (havola)

Adabiyotlar

  1. ^ a b Leon Sterling (1990). Prolog amaliyoti. MIT Press. ISBN  0-262-19301-9.
  2. ^ D. V. Loveland (1984). "Avtomatlashtirilgan teoremani isbotlash: chorak asr sharhi". Zamonaviy matematika: Avtomatik teoremalarni isbotlash bo'yicha maxsus sessiya materiallari, Amerika Matematik Jamiyatining 89-yillik yig'ilishi, Denver, Kolorado, 1983 yil 5-9 yanvar. 29. Amerika matematik jamiyati. ISBN  0-8218-5027-X. Qaror yondashuvi tarafdorlari 1970 yillarda hech qachon tinch bo'lmagan. Taxminan 1972 yilda Vos, Robinzon va Karsonlarning teoremalarini tasdiqlovchi Ross Overbek tomonidan ishlab chiqilgan. Tizim S. Vinker, E. Lusk, B. Smit va L. Vosning hissalari bilan rivojlanib bordi. Tizimga AURA deb nom berilgan AUtomatlangan Reasoning Assistant .... AURA hozirda uning asoschilari tomonidan aniq aksiomatik formulalar asosida ochiq muammolarni hal qilish uchun foydali tadqiqot vositasi sifatida qaralmoqda.
  3. ^ "Spiker haqida ma'lumot". Bioinformatika instituti. 2005. Arxivlangan asl nusxasi 2007-08-10. Olingan 2007-11-25.
  4. ^ "Integrated Genomics Inc. kompaniyasining bosh direktori Maykl Fonstein KPMG mukofotiga sazovor bo'ldi". Integrated Genomics, Inc. 2000 yil 20-noyabr. Arxivlangan asl nusxasi 2008 yil 19-noyabrda. Olingan 2007-11-25.
  5. ^ "Genomlarni talqin qilish bo'yicha do'stlik". Arxivlandi asl nusxasi 2005-04-05 da. Olingan 2007-11-24.
  6. ^ "18 million dollarlik bioinformatika markazi o'lik kasalliklarga qarshi qurolga aylanadi". Argonne milliy laboratoriyasi. 2004 yil 3 sentyabr. Olingan 2007-11-25.

Tashqi havolalar