WikiSort.ru - Не сортированное

ПОИСК ПО САЙТУ | о проекте
Моше Варди
Дата рождения 4 июля 1954(1954-07-04) (64 года)
Место рождения
Страна
Место работы
Альма-матер
Награды и премии
Сайт cs.rice.edu/~vardi/
 Моше Варди на Викискладе

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

Обучение и научная деятельность

В 1981 году Моше Варди получил степень доктора философии в Еврейском университете в Иерусалиме. Он возглавлял кафедру информатики в университете Райса с января 1994 года по июнь 2002 года. До прихода в Райс в 1993 году он работал в исследовательском центре IBM Almaden, где руководил отделом математики и смежных компьютерных наук.

Научные интересы

Его интересы сосредоточены на применении логики в компьютерной науке, включая теорию баз данных, теорию конечных моделей, знания в мультиагентных системах, компьютерной верификации и рассуждениях, а также учебной логики учебного плана. Он является экспертом по проверке моделей, удовлетворённости ограничений и теории баз данных, общеизвестности (логики) и теоретическим компьютерным наукам[3][4].

Научные публикации

Моше Варди является автором более 400 технических документов[5][6][7], а также редактором нескольких научных сборников.

Он написал книгу Reasoning About Knowledge[8] с Рональдом Фагином[en], Джозефом Халперном[en] и Йорамом Мозесом, а также Finite Model Theory and Its Applications[9] с Эрихом Граделем, Фокионом Г. Колайтисом, Леонидом Либкиным, Мартеном Марксом, Джоэлем Спенсером[en], Идет Вэнем и Скоттом Вайнштейном.

Он также является бывшим главным редактором журнала «Communications of the ACM».[10]

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

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

Он также в 2008 году получил ACM Presidential Award (президентскую премию) и был награждён Медалью Блейза Паскаля в области вычислительной науки[11] Европейской академии наук[en][12].

В 2010 году он получил награду за выдающиеся заслуги от Ассоциации компьютерных исследований[en], Института инженеров по электротехнике и радиоэлектронике (IEEE) и Компьютерного общества[en] Harry H. Goode Memorial Award за 2011 год.

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

Доктор Варди является редактором нескольких международных журналов и президентом International Federation of Computational Logicians. Он получил грант Гуггенхайма, а также был избран членом Ассоциации вычислительной техники, Американской ассоциации содействия развитию науки и Американской ассоциации искусственного интеллекта[en].

Он был определён высоко цитируемым учёным Института научной информации, а также был избран членом Американской Национальной инженерной Академии, Национальной Академии наук США,[13] в Европейскую Академию наук и Европейской Академии (Academia Europaea). Моше Варди также был избран в 2010 году в Американскую академию искусств и наук[14]. Он также является сопредседателем рабочей группы АСМ по вопросам миграции рабочей силы.

Примечания

  1. ↑ www.cs.rice.edu/~vardi. Проверено 20 июня 2012.
  2. ↑ BOYD, JADE Rice’s Moshe Vardi honored as Distinguished Service Professor. Rice University (July 22, 2011). — «Rice University computer scientist Moshe Vardi has been named a Distinguished Service Professor, one of the university’s most prestigious faculty appointments.». Проверено 10 апреля 2012. Архивировано 10 апреля 2012 года.
  3. ↑ Moshe Y. Vardi — ACM author profile page
  4. ↑ Marianne Winslett (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. ↑ dblp: Moshe Y. Vardi
  6. ↑ Moshe Y. Vardi — Google Scholar Citations
  7. ↑ Moshe Y. Vardi — Publications and Presentations
  8. ↑ Reasoning About Knowledge. — Cambridge, Massachusetts : The MIT Press, 2003. — ISBN 0-262-56200-6.
  9. ↑ Finite model theory and its applications. — Berlin : Springer, 2007. — ISBN 3-540-00428-9.
  10. ↑ Moshe Y. Vardi (2012). “Artificial intelligence: Past and future”. Communications of the ACM. 55: 5. DOI:10.1145/2063176.2063177.
  11. ↑ THE BLAISE PASCAL MEDAL 2008 (section: "Blaise Pascal Medal in Computational Science"). European Academy of Sciences[en]. — «Professor Moshe Y. VARDI, USA / In recognition of his outstanding contributions in several areas of computational science connected by their use of logic as an underlying methodology. His work has had fundamental and lasting impact on automatic verification, logic of knowledge, database theory, and finite-model theory». Проверено 27 апреля 2017.
  12. ↑ Does automation doom workers?. George R. Brown School of Engineering at Rice University (October 31, 2016). — «the 2008 Blaise Pascal Medal for Computer Science by the European Academy of Sciences». Проверено 27 апреля 2017. Архивировано 27 апреля 2017 года.
  13. ↑ "National Academy of Sciences Elections", Notices of the American Mathematical Society Т. 62 (7): 826, August 2015.
  14. ↑ Rice’s Moshe Y. Vardi elected fellow of American Academy of Arts and Sciences.

Ссылки

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .



Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2024
WikiSort.ru - проект по пересортировке и дополнению контента Википедии