Моше Яаков Варди (ивр. משה יעקב ורדי; род. 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 году в Американскую академию искусств и наук. Он также является сопредседателем рабочей группы АСМ по вопросам миграции рабочей силы.