Моше Варді

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Моше Варді
Moshe Vardi.jpg
Народився 4 липня 1954(1954-07-04) (64 роки)
Хайфа, Ізраїль
Громадянство
(підданство)
Flag of the United States.svg США
Діяльність вчений у галузі інформатики[d], інженер, викладач університету
Alma mater Bar-Ilan University

Weizmann Institute of Science
Hebrew University
Заклад IBM
Університет Райса[d]
Членство Європейська академія
Національна академія наук США
Американська академія мистецтв і наук
Американська асоціація сприяння розвитку науки
Національна інженерна академія США[d]
Асоціація з розвитку штучного інтелекту
Association for Computing Machinery
Нагороди

Моше Яаков Варді (івр. משה יעקב ורדי‎; нар. 1954 року) — ізраїльський математик та інформатик,  професор інформатики Університету Райса,[1] Сполучені Штати Америки. Він належить до списку видатник професорів у сфері обчислювальної техніки,[2] та обраний директором Інституту інформаційних технологій Кена Кеннеді.

Навчання та нукова діяльність[ред. | ред. код]

У 1981 році Моше Варді отримав ступінь доктора філософії у Єврейському університеті в Єрусалимі. Він очолював кафедру інформатики в університеті Райса з січня 1994 року по червень 2002 року. До приходу в Райс у 1993 році, він працював у дослідницькому центрі IBM Almaden, де керував відділом математики та суміжних комп'ютерних наук.

Наукові інтереси[ред. | ред. код]

Його інтереси зосереджені на застосуванні логіки до комп'ютерної науки, включаючи теорію баз даних, теорію кінцевих моделей, знання в мультиагентних системах, комп'ютерній верифікації та міркуваннях, а також навчальної логіки навчального плану. Він є експертом з перевірки моделей, задоволеності обмежень та теорії баз даних, загальновідомості (логіки) та теоретичних комп'ютерних науках.[3][4].

Наукові публікації[ред. | ред. код]

Моше Варді є автором понад 400 технічних документів,[5][6][7] а також редактором кількох наукових збірок. Він написав книгу «Роздуми про знання» [8] з Рональдом Фагіном, Джозефом Халперном та Йорамом Мойсеєм, а також  теорією кінцевої моделі [9] з Еріхом Граделем, Фокіоном Г. Колайтісом, Леонідом Лівкіним, Мартеном Марксом, Йоелем Спенсером, Йде Венем та Скоттом Вайнштейном . Він також є колишнім головним редактором журналу «Communications of the ACM»[10].

Нагороди та досягнення[ред. | ред. код]

Моше Варді є лауреатом трьох премій IBM Outstanding Innovation Awards. Він також лауреат премія Геделя 2000 року за роботу з тимчасовою логікою з кінцевими автоматами), лауреат премії Канеллакіса 2005 року, а також лауреат премії LICS 2006 року.

Він також у 2008 році одержав ACM Presidential Award (президентську премію) та був нагороджений Медаллю Блейза Паскаля в галузі обчислювальної науки Європейської академії наук.[11] У 2010 році він мав нагороду за видатні заслуги від Асоціації комп'ютерних досліджень, інституту інженерів з електротехніки та радіоелектроніки (IEEE) і комп'ютерного Товариства за 2011 рік Harry H. Goode Award.

Моше Варді також отримав почесні докторські ступені від Саарландського університету, Німеччина, та Орлеанського університету, Франція.

Доктор Варді є редактором кількох міжнародних журналів і президентом Міжнародної федерації обчислювальніх логіків. Він отримав грант Гуггенхайма,[12] , а також був обраний членом Асоціації обчислювальної технікиАмериканської асоціації сприяння розвитку науки та Американської асоціація штучного інтелекту.

Він був визначений високо цитованим вченим Інституту наукової інформації, а також був обраний членом американської Національної інженерної Академії, Національної Академії наук США,[13] у Європейської Академії наук та Європейської Академії (Academia Europaea). Моше Варді також був обраний у 2010 році до Американської академії мистецтв і наук.[14] Він також є співголовою робочої групи АСМ з питань міграції робочої сили.

Посилання[ред. | ред. код]

  1. www.cs.rice.edu/~vardi. Процитовано 2012-06-20. 
  2. BOYD, JADE (July 22, 2011). Rice’s Moshe Vardi honored as Distinguished Service Professor. Rice University. Архів оригіналу за April 10, 2012. Процитовано April 10, 2012. «Rice University computer scientist Moshe Vardi has been named a Distinguished Service Professor, one of the university’s most prestigious faculty appointments.» 
  3. Шаблон:ACMPortal
  4. Winslett, M. (2006). Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof. ACM SIGMOD Record 35: 56. doi:10.1145/1121995.1122008. 
  5. Moshe Y. Vardi. Публікації DBLP.
  6. Список публікацій на Microsoft Academic Search
  7. Публiкації за ім'ям: Моше Варді індексовані Google Scholar, сервісом Google
  8. Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Reasoning About Knowledge. Cambridge, Mass: The MIT Press. ISBN 0-262-56200-6. 
  9. Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde (2007). Finite model theory and its applications. Berlin: Springer. ISBN 3-540-00428-9. (нім.)
  10. Vardi, M. Y. (2012). Artificial intelligence: Past and future. Communications of the ACM 55: 5. doi:10.1145/2063176.2063177. (англ.)
  11. Does automation doom workers?. (George R. Brown School of Engineering at) Rice University. October 31, 2016. Архів оригіналу за April 27, 2017. Процитовано April 27, 2017. «the 2008 Blaise Pascal Medal for Computer Science by the European Academy of Sciences» 
  12. List of Guggenheim Fellowships awarded in 2005#V
  13. National Academy of Sciences Elections. Notices of the American Mathematical Society 62 (7). August 2015: 826. .
  14. Rice's Moshe Y. Vardi elected fellow of American Academy of Arts and Sciences.