Варди, Моше

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

Моше Варди
Дата рождения	4 июля 1954(1954-07-04) (71 год)
Место рождения	Хайфа, Израиль[1]
Страна	США
Род деятельности	специалист в области информатики, инженер, преподаватель университета, математик
Место работы	IBM Университет Райса Стэнфордский университет
Альма-матер	Еврейский университет в Иерусалиме (сентябрь 1981) Университет имени Бар-Илана (сентябрь 1974) Институт Вейцмана (май 1980)
Научный руководитель	Catriel Beeri[вд][2]
Награды и премии	стипендия Гуггенхайма (2005) Премия Гёделя (2000) Премия Париса Канеллакиса (2005) премия Европейской ассоциации теоретической информатики[вд] (2012) Мемориальная премия Гарри Гуда (2011) премия Кодда[вд] (2008) член AAAI[вд] (2004) Фелло ACM (2000) действительный член Американского математического общества (2019) член Американской ассоциации содействия развитию науки[вд] почётный доктор Саарского университета[вд] (2002) член Общества промышленной и прикладной математики[вд] (2015) почётный доктор Льежского университета[вд] (2017) ACM-AAAI Allen Newell Award[вд] (2020) почётный доктор Университета Орлеана[вд] (25 февраля 2002) почётный доктор Гренобльского университета[вд] (26 ноября 2019)
Сайт	cs.rice.edu/~vard… (англ.)
Медиафайлы на Викискладе

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

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

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

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

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

Автором более 400 публикаций^[7][8][9], редактор нескольких научных сборников.

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

В 2012 году был главным редактором журнала Communications of the ACM^[12].

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

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

В 2008 году получил президентскую премию ACM и был награждён Медалью Блёза Паскаля в области вычислительной науки^[13] Европейской академии наук^{[англ.][14]}.

В 2010 году получил награды за выдающиеся заслуги от Ассоциации компьютерных исследований^[англ.]; в 2011 году — премию Гуда Компьютерного общества IEEE.

Почётный доктор Саарландского университета и Орлеанского университета.

Редактором нескольких журналов. Президент Международной федерации вычислительной логики. Обладатель гранта Гуггенхайма, действительный член Ассоциации вычислительной техники, Американской ассоциации содействия развитию науки и Американской ассоциации искусственного интеллекта^[англ.].

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