Америкалық математик және компьютер ғалымы Росс А. Овербик туралы
Ross Overbeek
Росс Овербик – америкалық математик, Argonne ұлттық зертханасында жұмыс істейді. Математикалық логика, геномика, Prolog тілі және дерекқоры теориясындағы зерттеулерімен танымал.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Американдық математик
American mathematician
Росс А. Овербик (16 мамыр 1949 жылы туған) – американдық компьютер ғалымы, Аргонн ұлттық зертханасында ұзақ жылдар қызмет еткен. Ол математикалық логика және геномика салаларына, сондай-ақ бағдарламалауға, әсіресе деректер базасы теориясы мен Prolog бағдарламалау тіліне маңызды үлес қосты.
Ross A. Overbeek (born May 16, 1949) is an American computer scientist with a long tenure at the Argonne National Laboratory. He has made important contributions to mathematical logic and genomics, as well as programming, particularly in database theory and the programming language Prolog.
Ерте өмір
Ол Мичиган штатының Траверс-Сити қаласында өскен, онда ол "Бостандық" либертариандық журналының баспашысы Р. В. Брэдфордпен өмір бойына созылған достық қарым-қатынас орнатты. Ол Гранд Вэлли мемлекеттік колледжінде философия бакалавры (B. Ph.) алды, 1970 жылы Пенсильвания мемлекеттік университетінен ғылым магистрі (M. S.) алды, ал 1971 жылы Пенсильвания штатының университетінен компьютер ғылымдары бойынша докторлық (Ph. D.) дәрежесін қорғады. Келесі 11 жыл бойы ол Солтүстік Иллинойс университетінде компьютер ғылымдары профессоры болып жұмыс істеді.
He grew up in Traverse City, Michigan where he struck up a lifelong friendship with R. W. Bradford, publisher of the libertarian periodical Liberty. He received a B. Ph. from Grand Valley State College, an M. S. from Pennsylvania State University in 1970, and a Ph. D. in computer science from Penn State in 1971. For the next 11 years he was a computer science professor at Northern Illinois University.
Мансап
1970 жылдардың басында Овербик жасаған AURA, яғни AUtomated Reasoning Assistant (автоматтандырылған қорытындылауға көмекші), деп аталатын теореманы дәлелдейтін жүйе, бұл саладағы стандартты теоремаларды ығыстырды. 1983 жылы ол Аргонн ұлттық зертханасының математика және компьютерлік ғылымдар бөліміне қосылып, теоремаларды автоматты түрде дәлелдеу, логикалық бағдарламалау және параллель есептеу салаларында жұмыс істеді. 1980 жылдары ол молекулалық биологияға логикалық бағдарламалауды қолдануға қызығушылық танытты және Ұлттық денсаулық сақтау институттары мен АҚШ Энергетика министрлігіне Адам геномдық жобасының есептеу талаптары бойынша кеңес беру үшін құрылған Жұмыс тобына мүше болып тағайындалды. 1998 жылы Овербик бас директор Майкл Фонштейнмен бірге Integrated Genomics, Inc. компаниясын құрған бірнеше ғалымның қатарында болды. Компания ERGO дерекқоры мен талдау жүйесін жасады. 2003 жылы ол Геномдарды түсіндіру қоры (FIG) құрылысына қатысты, бұл коммерциялық емес ұйым биоинформатикалық құралдарды және салыстырмалы геномика зерттеулерін үйлестіреді. 2004 жылы FIG Аргонн зертханасы мен Чикаго университетінің бірлескен институты – Компьютерлік институтпен серіктестік құрып, 18 миллион долларлық федералдық грантпен Ұлттық микробтық патогендер деректер орталығын құрды.
In the early 1970s a theorem prover named AURA, for AUtomated Reasoning Assistant, developed by Overbeek replaced one that had been the standard in the field. In 1983 he joined the Mathematics and Computer Science Division of Argonne National Laboratory, working on automated theorem proving, logic programming, and parallel computation. In the 1980s he became interested in applying logic programming to molecular biology, and he was appointed to the Joint Information Task Force, a working group established to advise the National Institutes of Health and United States Department of Energy on the computational requirements of the Human Genome Initiative. In 1998, Overbeek was one of several scientists who co founded the company Integrated Genomics, Inc. with CEO Michael Fonstein. The company makes the ERGO database and analytics system. In 2003, he co founded the Fellowship for Interpretation of Genomes (FIG), a non profit organization that coordinates the development of bioinformatics tools and comparative genomics research. In 2004, the FIG partnered with the Computation Institute, a joint Argonne Lab and University of Chicago institution, to establish the National Microbial Pathogen Data Resource Center with an $18 million federal grant.