Моше Варді

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

Моше Варді
Народився 4 липня 1954(1954-07-04) (67 років)
Хайфа, Ізраїль[1]
Країна  США
Діяльність інформатик, інженер, викладач університету, математик
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]
Нагороди

Грант Ґуґґенгайма

Премія Геделя (2000)

Премія Канеллакіса (2005)

EATCS awardd (2012)

меморіальна премія Гаррі Ґудаd (2011)

SIGMOD Edgar F. Codd Innovations Awardd (2008)

AAAI Fellowd

Дійсний член ACMd

член Американського математичного товаристваd

член Американської асоціації сприяння розвитку наукиd

honorary doctor of the Saarland Universityd (2002)

Fellow of the Society for Industrial and Applied Mathematicsd (2015)

Особ. сторінка cs.rice.edu/~vardi/

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

Навчання та нукова діяльність

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

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

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

Наукові публікації

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

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

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

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

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

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

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

Посилання

  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. www.cs.rice.edu/~vardi. Процитовано 20 червня 2012.
  6. 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.»
  7. Шаблон:ACMPortal
  8. 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.
  9. Moshe Y. Vardi. Публікації DBLP.
  10. Список публікацій на Microsoft Academic Search
  11. Публікації за ім'ям: Моше Варді індексовані Google Scholar, сервісом Google
  12. Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Reasoning About Knowledge. Cambridge, Mass: The MIT Press. ISBN 0-262-56200-6.
  13. 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.(нім.)
  14. Vardi, M. Y. (2012). Artificial intelligence: Past and future. Communications of the ACM 55: 5. doi:10.1145/2063176.2063177.(англ.)
  15. 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»
  16. National Academy of Sciences Elections. Notices of the American Mathematical Society 62 (7). August 2015: 826..
  17. Rice's Moshe Y. Vardi elected fellow of American Academy of Arts and Sciences.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.