stringtranslate.com

Моше Варди

Моше Яаков Варди ( иврит : משה יעקב ורדי ) MAE ForMemRS [5] — израильский учёный-теоретик в области компьютерных наук . Он — профессор кафедры вычислительной техники имени Карен Острум Джордж в Университете Райса , США. [6] [2] [7] и научный руководитель Института Кена Кеннеди. [8] Его интересы сосредоточены на приложениях логики к компьютерным наукам, включая теорию баз данных , теорию конечных моделей , знание многоагентных систем , компьютерную проверку и рассуждения, а также преподавание логики в рамках учебной программы. Он является экспертом в области проверки моделей , удовлетворения ограничений и теории баз данных , общих знаний (логики) и теоретической компьютерной науки . [9] [10]

Варди является автором или соавтором более 700 технических статей [2] , а также редактором нескольких сборников. Он является автором книг Reasoning About Knowledge [11] совместно с Рональдом Фейгином , Джозефом Хэлперном и Йорамом Мозесом , а также Finite Model Theory and Its Applications [12] совместно с Эрихом Грэделем, Фокионом Г. Колайтисом , Леонидом Либкиным , Мартеном Марксом, Джоэлем Спенсером , Иде Венемой и Скоттом Вайнштейном. Он является старшим редактором Communications of the ACM , проработав там главным редактором в течение десятилетия. [13]

Образование

Варди был студентом бакалавриата в Университете Бар-Илан и получил степень магистра наук в Институте науки Вейцмана . [4] Его докторская диссертация была написана под руководством Катриэля Беери и присуждена Еврейским университетом в Иерусалиме в 1981 году. [3]

Карьера и исследования

Научные интересы Варди лежат в области логики и вычислений . [2] Он занимал должность заведующего кафедрой компьютерных наук в Университете Райса с января 1994 года по июнь 2002 года. До прихода в Райс в 1993 году он работал в IBM Research , а также был научным сотрудником Стэнфордского университета . [5] Варди является редактором нескольких международных журналов [ необходимо разъяснение ] и ранее был директором Международной федерации вычислительной логики Ltd. [14] Он также был сопредседателем целевой группы Ассоциации вычислительной техники (ACM) по миграции рабочих мест . [ когда? ]

Награды и почести

Варди — лауреат трех премий IBM Outstanding Innovation Awards, один из лауреатов премии Гёделя 2000 года (за работу по темпоральной логике с конечными автоматами ), лауреат премии Кнута 2021 года, один из лауреатов премии Paris Kanellakis Award 2005 года и один из лауреатов премии LICS Test-of-Time Award 2006 года. Он также является лауреатом Президентской премии ACM 2008 и 2017 годов, Медали Блеза Паскаля 2008 года в области вычислительной науки [15] Европейской академии наук [16] , Премии за выдающиеся заслуги 2010 года от Ассоциации компьютерных исследований, Мемориальной премии Гарри Х. Гуда 2011 года от Института инженеров по электротехнике и электронике (IEEE) Компьютерного общества , Специальной группы по интересам ACM по логике и вычислениям (SIGLOG) 2018 года, Премии за выдающиеся заслуги от Европейской ассоциации теоретической информатики (EATCS), [17] Европейской ассоциации логики компьютерных наук (EACSL) и совместно спонсируемой Обществом Курта Гёделя (KGS) Премии Алонзо Чёрча за выдающийся вклад в логику и вычисления (совместно с Томасом Федером). Варди также имеет почетные докторские степени от восьми университетов:

Варди произносит речь в знак признания его почетным доктором в Гренобле
  1. Университет Саарланда , Германия [5]
  2. Орлеанский университет [5]
  3. Университет Гренобль-Альпы (UGA) во Франции [18]
  4. Федеральный университет Риу-Гранди-ду-Сул (UFRGS) в Бразилии [19]
  5. Льежский университет в Бельгии [20]
  6. TU Wien в Австрии [ требуется ссылка ]
  7. Эдинбургский университет в Шотландии [21]
  8. Гетеборгский университет в Швеции [22]

Варди является стипендиатом Гуггенхайма , стипендиатом ACM , стипендиатом AAAI , [23] стипендиатом Американской ассоциации содействия развитию науки и иностранным членом Королевского общества (ForMemRS). Он был признан высокоцитируемым исследователем Институтом научной информации и был избран членом Национальной инженерной академии США , Национальной академии наук . [1] [24] Европейской академии наук и Academia Europaea (MAE). [5] Он был избран членом Американской академии искусств и наук в 2010 году. [25] Он был включен в класс стипендиатов Американского математического общества 2019 года «за вклад в развитие и использование математической логики в информатике». [26]

Личная жизнь

Варди живет со своей женой Памелой Гейер в Хьюстоне, штат Техас . [17] Его пасынок Аарон Герцманн [27] также является специалистом по информатике в Adobe Research .

Ссылки

  1. ^ ab "Моше Й. Варди: Компьютерные и информационные науки". nasonline.org . Национальная академия наук .
  2. ^ abcd Публикации Моше Варди, проиндексированные Google Scholar
  3. ^ ab Моше Варди в проекте «Генеалогия математики»
  4. ^ ab "Люди ACM - Моше Й. Варди". acm.org .
  5. ^ abcde "Моше Ю. Варди". ae-info.org . Европейская академия .
  6. ^ "Moshe Y. Vardi | Faculty | The People of Rice". profiles.rice.edu . Университет Райса . Получено 16 мая 2023 г. .
  7. ^ BOYD, JADE (22 июля 2011 г.). «Моше Варди из Райса удостоен звания выдающегося профессора». Университет Райса. Архивировано из оригинала 6 марта 2014 г. Получено 10 апреля 2012 г. Ученый-компьютерщик из Университета Райса Моше Варди был назван выдающимся профессором, что является одним из самых престижных назначений для преподавателей университета.
  8. ^ "People". Институт Кена Кеннеди | Университет Райса . Получено 16 мая 2023 г.
  9. ^ Страница профиля автора Моше Варди в ACM Digital Library
  10. ^ Уинслетт, Марианна (2006). «Моше Варди высказывается о доказательстве, обо всем доказательстве и ни о чем, кроме доказательства». ACM SIGMOD Record . 35 : 56–64. doi :10.1145/1121995.1122008. S2CID  27479793.
  11. ^ Варди, Моше Й.; Фейгин, Рональд; Халперн, Джозеф; Йорам Мозес (2003). Рассуждения о знаниях . Кембридж, Массачусетс: The MIT Press. ISBN 0-262-56200-6.
  12. ^ Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde (2007). Теория конечных моделей и ее приложения . Берлин: Springer. ISBN 978-3-540-00428-8.
  13. ^ Варди, М.Ю. (2012). «Искусственный интеллект: прошлое и будущее». Сообщения ACM . 55 : 5. doi : 10.1145/2063176.2063177 .
  14. ^ "INTERNATIONAL FEDERATION OF COMPUTATIONAL LOGIC LIMITED people". find-and-update.company-information.service.gov.uk . Лондон, Великобритания: GOV.UK. 26 марта 2019 г. Получено 16 мая 2023 г.
  15. ^ "МЕДАЛЬ БЛЕЗА ПАСКАЛЯ 2008 (раздел: "Медаль Блеза Паскаля в вычислительной науке")". Европейская академия наук. Архивировано из оригинала 4 марта 2017 г. . Получено 27 апреля 2017 г. Профессор Моше Й. ВАРДИ, США / В знак признания его выдающегося вклада в несколько областей вычислительной науки, связанных с использованием логики в качестве базовой методологии. Его работа оказала фундаментальное и долгосрочное влияние на автоматическую проверку, логику знаний, теорию баз данных и теорию конечных моделей
  16. ^ "Dees automation doom workers?". ( George R. Brown School of Engineering at) Rice University . 31 октября 2016 г. Архивировано из оригинала 29 апреля 2017 г. Получено 27 апреля 2017 г. Медаль Блеза Паскаля за информатику 2008 г. Европейской академией наук
  17. ^ ab Сэмюэлс, Джин Ф. (14 марта 2013 г.). «Jewish Herald-Voice». Портал в историю Техаса . № 54, том 105. Хьюстон, Техас: Библиотеки Университета Северного Техаса. стр. 17. Получено 16 мая 2023 г.
  18. ^ "Варди удостоен звания почетного доктора Университета Гренобль-Альпы" . рис.еду .
  19. ^ "Почетный доктор профессору Моше Варди". ufrgs.br . 21 марта 2016 г.
  20. ^ "L'ULiège Honore 10 International Personnalités et ses Nouveaux Diplomés Docteurs (с этими)" . Университет Льежа . 16 марта 2017 года . Проверено 26 августа 2022 г.
  21. ^ «Моше Варди — Люди, машины и работа: будущее уже наступило». ed.ac.uk .
  22. ^ "Моше Й. Варди назначен почетным доктором факультета ИТ". gu.se. 23 апреля 2020 г.
  23. ^ "AAAI Fellows". aaai.org . Ассоциация по развитию искусственного интеллекта .
  24. ^ «Выборы Национальной академии наук», Mathematics People, Notices of the American Mathematical Society , 62 (7): 826, август 2015 г..
  25. ↑ Моше Й. Варди из Университета Райса избран членом Американской академии искусств и наук.
  26. ^ 2019 Класс членов AMS, Американского математического общества , получено 2018-11-07
  27. ^ "Аарон Герцманн: Главный научный сотрудник Adobe Research". toronto.edu .