Моше Яаков Варди (; ) — израильский математик и информатик, почётный профессор информатики Университета Райса, директор Института информационных технологий Кена Кеннеди.
Обучение и научная деятельность В 1981 году получил степень доктора философии в Еврейском университете в Иерусалиме. Он возглавлял кафедру информатики в университете Райса с января 1994 года по июнь 2002 года. До прихода в Райс в 1993 году он работал в исследовательском центре IBM Almaden, где руководил отделом математики и смежных компьютерных наук.
Научные интересы Интересы сосредоточены на применении логики в информатике, включая теорию баз данных, теорию конечных моделей, знания в мультиагентных системах, компьютерной верификации и рассуждениях, а также учебной логики учебного плана. Он является экспертом по проверке моделей, удовлетворённости ограничений и теории баз данных, общеизвестности (логики) и теоретическим компьютерным наукам.
Научные публикации Автором более 400 публикацийdblp: Moshe Y. VardiMoshe Y. Vardi — Publications and Presentations, редактор нескольких научных сборников.
Автор книг Reasoning About Knowledge (с , и Йорамом Мозесом), Finite Model Theory and Its Applications (с Эрихом Граделем, Фокионом Колайтисом, Леонидом Либкиным, Мартеном Марксом, , Идет Вэнем и Скоттом Вайнштейном).
В 2012 году был главным редактором журнала Communications of the ACM.
Награды и достижения Лауреат трёх премий IBM Outstanding Innovation Awards, премии Гёделя 2000 года за работу с временной логикой с конечными автоматами), премии Канеллакиса 2005 года, премии LICS 2006 года.
В 2008 году получил президентскую премию ACM и был награждён Медалью Блёза Паскаля в области вычислительной науки .
В 2010 году получил награды за выдающиеся заслуги от ; в 2011 году — премию Гуда Компьютерного общества IEEE.
Почётный доктор Саарландского университета и Орлеанского университета.
Редактором нескольких журналов. Президент Международной федерации вычислительной логики. Обладатель гранта Гуггенхайма, действительный член Ассоциации вычислительной техники, Американской ассоциации содействия развитию науки и .
Входит в список высокоцитируемых учёных Института научной информации. Членом Американской Национальной инженерной Академии, Национальной Академии наук США, Европейской Академии (Academia Europaea). В 2010 году избран членом Американской академии искусств и наукRice’s Moshe Y. Vardi elected fellow of American Academy of Arts and Sciences .. Сопредседатель рабочей группы АСМ по вопросам миграции рабочей силы.
Примечания
Ссылки
Moshe Y. Vardi — Google Scholar Citations
Категория:Математики Израиля Категория:Выпускники Института Вейцмана Категория:Выпускники Еврейского университета в Иерусалиме Категория:Преподаватели Стэнфордского университета Категория:Лауреаты премии Гёделя Категория:Сотрудники IBM Категория:Родившиеся в 1954 году Категория:Родившиеся 4 июля Категория:Стипендиаты Гуггенхайма Категория:Персоналии:Хайфа Категория:Родившиеся в Хайфе Категория:Члены Европейской академии Категория:Члены Американской ассоциации содействия развитию науки Категория:Члены Национальной инженерной академии США Категория:Члены Национальной академии наук США Категория:Учёные в области информатики Израиля Категория:Персоналии:Математическая логика Категория:Члены Американской академии искусств и наук Категория:Почётные доктора Венского технического университета Категория:Почётные доктора Саарского университета Категория:Почётные доктора Университета Гренобль-Альпы