Варди, Моше

(перенаправлено с «Моше Варди»)

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

Моше Варди
Moshe Vardi.jpg
Дата рождения 4 июля 1954(1954-07-04) (65 лет)
Место рождения
Страна
Место работы
Альма-матер
Награды и премии
Сайт cs.rice.edu/~vardi/
Commons-logo.svg Медиафайлы на Викискладе

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

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

Научные интересыПравить

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

Научные публикацииПравить

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

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

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

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

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

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

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

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

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

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

ПримечанияПравить

  1. выгрузка данных FreebaseGoogle.
  2. www.cs.rice.edu/~vardi. Дата обращения 20 июня 2012.
  3. BOYD, JADE Rice’s Moshe Vardi honored as Distinguished Service Professor. Rice University (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 года.
  4. Moshe Y. Vardi — ACM author profile page
  5. Marianne Winslett. Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof (англ.) // ACM SIGMOD Record : journal. — 2006. — Vol. 35. — P. 56. — doi:10.1145/1121995.1122008.
  6. dblp: Moshe Y. Vardi
  7. Moshe Y. Vardi — Google Scholar Citations
  8. Moshe Y. Vardi — Publications and Presentations
  9. Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses. Reasoning About Knowledge (неопр.). — Cambridge, Massachusetts: The MIT Press, 2003. — ISBN 0-262-56200-6.
  10. Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde. Finite model theory and its applications (неопр.). — Berlin: Springer, 2007. — ISBN 3-540-00428-9.
  11. Moshe Y. Vardi. Artificial intelligence: Past and future (англ.) // Communications of the ACM : journal. — 2012. — Vol. 55. — P. 5. — doi:10.1145/2063176.2063177.
  12. 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. Архивировано 4 марта 2017 года.
  13. Does automation doom workers?. George R. Brown School of Engineering at Rice University (31 октября 2016). — «the 2008 Blaise Pascal Medal for Computer Science by the European Academy of Sciences». Дата обращения 27 апреля 2017. Архивировано 27 апреля 2017 года.
  14. National Academy of Sciences Elections, Notices of the American Mathematical Society Т. 62 (7): 826, August 2015 .
  15. Rice’s Moshe Y. Vardi elected fellow of American Academy of Arts and Sciences.

СсылкиПравить