Ross Overbeek - Ross Overbeek

Ross A. Overbeek
narozený (1949-05-16) 16. května 1949 (věk 71)
Traverse City, Michigan
Alma materPennsylvania State University
Známý jakoautomatizované dokazování věty
Vědecká kariéra
PolePočítačová věda;
matematická logika;
bioinformatika
InstituceArgonne National Laboratory
Doktorský poradceWilson E. Singletary

Ross A. Overbeek (narozený 16 května 1949) je Američan počítačový vědec s dlouhým funkčním obdobím v Argonne National Laboratory. Významně přispěl k matematická logika a genomika, stejně jako programování, zejména v teorie databáze a programovací jazyk Prolog.

Časný život

Vyrostl v Traverse City, Michigan kde navázal celoživotní přátelství R. W. Bradford, vydavatel časopisu libertarián časopis Svoboda. Získal titul B.Ph. z Státní vysoká škola Grand Valley, M.S. z Pennsylvania State University v roce 1970 a titul Ph.D. v oboru počítačových věd z Penn State v roce 1971. Dalších 11 let působil jako profesor informatiky na Severní Illinois University.[1]

Kariéra

Na začátku 70. let byla zkouška věty s názvem AURA pro AUtomated Reasoning Assistant, vyvinutý společností Overbeek, nahradil ten, který byl v této oblasti standardem.[2]

V roce 1983 nastoupil do divize matematiky a informatiky v Argonne National Laboratory, pracuje na automatizované dokazování věty, logické programování a paralelní výpočet. V 80. letech se začal zajímat o uplatnění logického programování v molekulární biologii a byl jmenován do pracovní skupiny Joint Information Task Force, pracovní skupiny zřízené jako poradce Národní institut zdraví a Ministerstvo energetiky Spojených států o výpočetních požadavcích Iniciativa lidského genomu.[1] Pomohl vyvinout několik genomových databází, včetně PUMA, WIT, ERGO a SEED.[3]

V roce 1998 byl Overbeek jedním z několika vědců, kteří spolu s CEO Michaelem Fonsteinem založili společnost Integrated Genomics, Inc. Společnost vyrábí databázový a analytický systém ERGO.[4]

V roce 2003 spoluzaložil Fellowship for Interpretation of Genomes (FIG), a nezisková organizace který koordinuje vývoj bioinformatických nástrojů a komparativní výzkum genomiky.[5] V roce 2004 se FIG spojila s Výpočtovým institutem, společnou laboratoří Argonne a University of Chicago instituce, aby založila Národní centrum pro mikrobiální patogenní zdroje dat s federálním grantem 18 milionů dolarů.[6]

Publikovaná díla

  • Americká národní norma COBOL. s Wilson E. Singletary. 1975. ISBN  978-0070574694.CS1 maint: ostatní (odkaz)
  • Assembler language with ASSIST. 1983. ISBN  978-0574214355.
  • Automatizované uvažování: Úvod a aplikace. s Larrym Wosem, Ewingem Luskem a Jimem Boylem. 1984. ISBN  978-0130544469.CS1 maint: ostatní (odkaz)
  • Přenosné programy pro paralelní procesory. s Ewingem Luskem, Jamesem Boylem, Ralphem Butlerem, Terrence Diszem, Barnettem Glickfeldem, Jamesem Pattersonem a Rickem Stevensem. 1988. ISBN  978-0030141539.CS1 maint: ostatní (odkaz)

Reference

  1. ^ A b Leon Sterling (1990). Praxe prologu. MIT Stiskněte. ISBN  0-262-19301-9.
  2. ^ D. W. Loveland (1984). „Automated Theorem Proving: A Quarter-Century Review“. Contemporary Mathematics: Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, konané v Denveru v Coloradu, 5. – 9. Ledna 1983. 29. Americká matematická společnost. ISBN  0-8218-5027-X. Zastánci přístupu k řešení krize v sedmdesátých letech v žádném případě nebyli v klidu. Asi v roce 1972 byl důkaz věty Wose, Robinsona a Carsona nahrazen tím, který vytvořil Ross Overbeek. Systém se nadále vyvíjí s příspěvky S. Winkera, E. Luska, B. Smitha a L. Wose. Systém byl pojmenován AURA, pro AUtomated Ročištění Assistant .... AURA je nyní považována jejími původci za užitečný výzkumný nástroj pro řešení otevřených problémů podléhajících přesným axiomatickým formulacím.
  3. ^ „Informace o mluvčím“. Ústav bioinformatiky. 2005. Archivovány od originál dne 10. 8. 2007. Citováno 2007-11-25.
  4. ^ „Michael Fonstein, generální ředitel společnosti Integrated Genomics Inc., získal cenu KPMG“. Integrated Genomics, Inc. 20. listopadu 2000. Archivovány od originál dne 19. listopadu 2008. Citováno 2007-11-25.
  5. ^ „Společenstvo pro interpretaci genomů“. Archivovány od originál dne 2005-04-05. Citováno 2007-11-24.
  6. ^ „Centrum bioinformatiky v hodnotě 18 milionů dolarů se stane zbraní proti smrtelným chorobám“. Argonne National Laboratory. 3. září 2004. Citováno 2007-11-25.

externí odkazy