Interested Article - Варди, Моше

belle
  • 2020-04-11
  • 1

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

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

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

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

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

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

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

Автор книг 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 году избран членом Американской академии искусств и наук . Сопредседатель рабочей группы АСМ по вопросам миграции рабочей силы.

Примечания

  1. ↑ — Google .
  2. (англ.) — 1997.
  3. . Дата обращения: 20 июня 2012.
  4. BOYD, JADE . 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 года.
  5. . Дата обращения: 13 февраля 2019. 23 марта 2019 года.
  6. 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 : .
  8. . Дата обращения: 12 февраля 2019. 14 апреля 2021 года.
  10. Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses. Reasoning About Knowledge (англ.) . — Cambridge, Massachusetts: The MIT Press , 2003. — ISBN 0-262-56200-6 .
  11. 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 .
  12. Moshe Y. Vardi. Artificial intelligence: Past and future (англ.) // Communications of the ACM : journal. — 2012. — Vol. 55 . — P. 5 . — doi : .
  13. . . — «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 года.
  14. 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 года.
  15. "National Academy of Sciences Elections", Notices of the American Mathematical Society , 62 (7): 826, August 2015
  16. от 3 февраля 2019 на Wayback Machine .

Ссылки

Источник —

belle
  • 2020-04-11
  • 1
  • Tags:

Same as Варди, Моше

The title for the last searches