Русская Википедия:Варди, Моше
Шаблон:Учёный Моше Яаков Варди (Шаблон:Lang-he; Шаблон:ВД-Преамбула) — израильский математик и информатик, почётный профессор информатики Университета Райса[1][2], директор Института информационных технологий Кена Кеннеди.
Обучение и научная деятельность
В 1981 году получил степень доктора философии в Еврейском университете в Иерусалиме. Он возглавлял кафедру информатики в университете Райса с января 1994 года по июнь 2002 года. До прихода в Райс в 1993 году он работал в исследовательском центре IBM Almaden, где руководил отделом математики и смежных компьютерных наук.
Научные интересы
Интересы сосредоточены на применении логики в информатике, включая теорию баз данных, теорию конечных моделей, знания в мультиагентных системах, компьютерной верификации и рассуждениях, а также учебной логики учебного плана. Он является экспертом по проверке моделей, удовлетворённости ограничений и теории баз данных, общеизвестности (логики) и теоретическим компьютерным наукам[3][4].
Научные публикации
Автором более 400 публикаций[5][6][7], редактор нескольких научных сборников.
Автор книг Reasoning About Knowledge[8] (с Шаблон:Iw, Шаблон:Iw и Йорамом Мозесом), Finite Model Theory and Its Applications[9] (с Эрихом Граделем, Фокионом Колайтисом, Леонидом Либкиным, Мартеном Марксом, Шаблон:Iw, Идет Вэнем и Скоттом Вайнштейном).
В 2012 году был главным редактором журнала Communications of the ACM[10].
Награды и достижения
Лауреат трёх премий IBM Outstanding Innovation Awards, премии Гёделя 2000 года за работу с временной логикой с конечными автоматами), премии Канеллакиса 2005 года, премии LICS 2006 года.
В 2008 году получил президентскую премию ACM и был награждён Медалью Блёза Паскаля в области вычислительной науки[11] Шаблон:Iw[12].
В 2010 году получил награды за выдающиеся заслуги от Шаблон:Iw; в 2011 году — премию Гуда Компьютерного общества IEEE.
Почётный доктор Саарландского университета и Орлеанского университета.
Редактором нескольких журналов. Президент Международной федерации вычислительной логики. Обладатель гранта Гуггенхайма, действительный член Ассоциации вычислительной техники, Американской ассоциации содействия развитию науки и Шаблон:Iw.
Входит в список высокоцитируемых учёных Института научной информации. Членом Американской Национальной инженерной Академии, Национальной Академии наук США[13], Европейской Академии (Academia Europaea). В 2010 году избран членом Американской академии искусств и наук[14]. Сопредседатель рабочей группы АСМ по вопросам миграции рабочей силы.
Примечания
Ссылки
Шаблон:Лауреаты премии Канеллакиса Шаблон:Лауреаты премии Гёделя Шаблон:Лауреаты премии Кнута Шаблон:Authority control
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Статья
- ↑ dblp: Moshe Y. Vardi
- ↑ Шаблон:Cite web
- ↑ Moshe Y. Vardi — Publications and Presentations
- ↑ Шаблон:Книга
- ↑ Шаблон:Книга
- ↑ Шаблон:Статья
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Citation
- ↑ Rice’s Moshe Y. Vardi elected fellow of American Academy of Arts and Sciences Шаблон:Wayback.
- Русская Википедия
- Математики Израиля
- Выпускники Еврейского университета в Иерусалиме
- Лауреаты премии Гёделя
- Сотрудники IBM
- Родившиеся в 1954 году
- Родившиеся 4 июля
- Стипендиаты Гуггенхайма
- Персоналии:Хайфа
- Родившиеся в Хайфе
- Члены Европейской академии
- Члены Американской ассоциации содействия развитию науки
- Члены Национальной инженерной академии США
- Члены Национальной академии наук США
- Учёные в области информатики Израиля
- Персоналии:Математическая логика
- Члены Американской академии искусств и наук
- Почётные доктора Венского технического университета
- Почётные доктора Саарского университета
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Русской Википедии
