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

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

Weizmann Institute of Science
Єврейський університет
Заклад IBM, Університет Райса і Стенфордський університет
Науковий керівник Catriel Beerid[2]
Аспіранти, докторанти Erion Plakud[2], Deian Tabakovd[2], Kuldeep S. Meeld[2] і Kristin Yvonne Rozierd[2]
Членство Європейська академія[3], Національна академія наук США, Американська академія мистецтв і наук, AAAS, Національна інженерна академія США, Асоціація з розвитку штучного інтелекту, Association for Computing Machinery, Society for Industrial and Applied Mathematics[4] і Американське математичне товариство[5][6]
Нагороди
Особ. сторінка cs.rice.edu/~vardi/

CMNS: Моше Варді у Вікісховищі

Навчання та наукова діяльністьРедагувати

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

Наукові інтересиРедагувати

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

Наукові публікаціїРедагувати

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

Нагороди та досягненняРедагувати

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

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

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

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

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

ПосиланняРедагувати

  1. Freebase Data DumpsGoogle.
  2. а б в г д Математичний генеалогічний проєкт — 1997.
  3. https://www.ae-info.org/ae/User/Vardi_Moshe
  4. https://www.siam.org/prizes-recognition/fellows-program/all-siam-fellows?page=3
  5. http://www.ams.org/fellows_by_year.cgi?year=2019
  6. http://www.ams.org/news?news_id=4678
  7. www.cs.rice.edu/~vardi. Процитовано 20 червня 2012. 
  8. BOYD, JADE (22 липня 2011). Rice’s Moshe Vardi honored as Distinguished Service Professor. Rice University. Архів оригіналу за квітень 10, 2012. Процитовано 10 квітня 2012. «Rice University computer scientist Moshe Vardi has been named a Distinguished Service Professor, one of the university’s most prestigious faculty appointments.» 
  9. Шаблон:ACMPortal
  10. 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. 
  11. Moshe Y. Vardi. Публікації DBLP.
  12. Список публікацій на Microsoft Academic Search
  13. Публікації за ім'ям: Моше Варді індексовані Google Scholar, сервісом Google
  14. Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Reasoning About Knowledge. Cambridge, Mass: The MIT Press. ISBN 0-262-56200-6. 
  15. 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. (нім.)
  16. Vardi, M. Y. (2012). Artificial intelligence: Past and future. Communications of the ACM 55: 5. doi:10.1145/2063176.2063177. (англ.)
  17. Does automation doom workers?. (George R. Brown School of Engineering at) Rice University. 31 жовтня 2016. Архів оригіналу за квітень 27, 2017. Процитовано 27 квітня 2017. «the 2008 Blaise Pascal Medal for Computer Science by the European Academy of Sciences» 
  18. National Academy of Sciences Elections. Notices of the American Mathematical Society 62 (7). August 2015: 826. .
  19. Rice's Moshe Y. Vardi elected fellow of American Academy of Arts and Sciences [Архівовано 3 лютого 2019 у Wayback Machine.].