Варди, Моше
Моше Яаков Варди (ивр. משה יעקב ורדי; род. 4 июля 1954, Хайфа[1]) — израильский математик и информатик, почётный профессор информатики Университета Райса[3][4], директор Института информационных технологий Кена Кеннеди.
Обучение и научная деятельность
В 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]. Сопредседатель рабочей группы АСМ по вопросам миграции рабочей силы.
Примечания
- ↑ 1 2 выгрузка данных Freebase — Google.
- ↑ Mathematics Genealogy Project (англ.) — 1997.
- ↑ www.cs.rice.edu/~vardi . Дата обращения: 20 июня 2012.
- ↑ BOYD, JADE Rice’s Moshe Vardi honored as Distinguished Service Professor . Rice University (22 июля 2011). — «Rice University computer scientist Moshe Vardi has been named a Distinguished Service Professor, one of the university’s most prestigious faculty appointments.» Дата обращения: 10 апреля 2012. Архивировано 10 апреля 2012 года.
- ↑ Moshe Y. Vardi — ACM author profile page . Дата обращения: 13 февраля 2019. Архивировано 23 марта 2019 года.
- ↑ Marianne Winslett. Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof (англ.) // SIGMOD Record : journal. — 2006. — Vol. 35. — P. 56. — doi:10.1145/1121995.1122008.
- ↑ dblp: Moshe Y. Vardi
- ↑ Moshe Y. Vardi — Google Scholar Citations . Дата обращения: 12 февраля 2019. Архивировано 14 апреля 2021 года.
- ↑ Moshe Y. Vardi — Publications and Presentations
- ↑ Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses. Reasoning About Knowledge (англ.). — Cambridge, Massachusetts: The MIT Press, 2003. — ISBN 0-262-56200-6.
- ↑ Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde. Finite model theory and its applications (англ.). — Berlin: Springer, 2007. — ISBN 3-540-00428-9.
- ↑ Moshe Y. Vardi. Artificial intelligence: Past and future (англ.) // Communications of the ACM : journal. — 2012. — Vol. 55. — P. 5. — doi:10.1145/2063176.2063177.
- ↑ THE BLAISE PASCAL MEDAL 2008 (section: "Blaise Pascal Medal in Computational Science") . European Academy of Sciences[англ.]. — «Professor Moshe Y. VARDI, USA / In recognition of his outstanding contributions in several areas of computational science connected by their use of logic as an underlying methodology. His work has had fundamental and lasting impact on automatic verification, logic of knowledge, database theory, and finite-model theory». Дата обращения: 27 апреля 2017. Архивировано из оригинала 4 марта 2017 года.
- ↑ Does automation doom workers? George R. Brown School of Engineering at Rice University (31 октября 2016). — «the 2008 Blaise Pascal Medal for Computer Science by the European Academy of Sciences». Дата обращения: 27 апреля 2017. Архивировано 27 апреля 2017 года.
- ↑ "National Academy of Sciences Elections", Notices of the American Mathematical Society, 62 (7): 826, August 2015
- ↑ Rice’s Moshe Y. Vardi elected fellow of American Academy of Arts and Sciences Архивная копия от 3 февраля 2019 на Wayback Machine.
Ссылки
- cs.rice.edu/~vardi/ — официальный сайт Моше Варди
- Moshe Y. Vardi — Google Scholar Citations
- Варди, Моше (англ.) в проекте «Математическая генеалогия»