Варди, Моше

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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