stringtranslate.com

Моше Варди

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

Варди является автором или соавтором более 700 технических статей [2] , а также редактором нескольких сборников. Он является автором книг «Рассуждения о знаниях» [11] с Рональдом Феджином , Джозефом Халперном и Йорамом Мозесом , а также «Теория конечных моделей и ее приложения» [12] с Эрихом Гределем, Фокионом Г. Колайтисом , Леонидом Либкиным , Маартеном Марксом, Джоэлом Спенсером , Иде Венема и Скотт Вайнштейн. Он является старшим редактором журнала Communications of ACM , проработав в качестве главного редактора в течение десяти лет. [13]

Образование

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

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

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

Награды и отличия

Варди — лауреат трех премий IBM за выдающиеся инновации, один из лауреатов премии Гёделя 2000 года (за работу над темпоральной логикой с конечными автоматами ), лауреат премии Кнута в 2021 году, один из лауреатов премии Парижа Канеллакиса в 2005 году. и один из победителей премии LICS 2006 «Испытание временем». Он также является лауреатом президентской премии ACM в 2008 и 2017 годах, медали Блеза Паскаля 2008 года в области вычислительных наук [15] Европейской академии наук, [16] награды за выдающиеся заслуги в 2010 году Ассоциации компьютерных исследований, Института электротехники. и инженеров-электронщиков (IEEE) от Компьютерного общества в 2011 году , Премия Мемориала Гарри Х. Гуда , Специальная группа по интересам 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] Европейская академия наук и Европейская академия (MAE). [5] Он был избран членом Американской академии искусств и наук в 2010 году. [25] В 2019 году он был включен в класс стипендиатов Американского математического общества «за вклад в развитие и использование математической логики в информатике». ". [26]

Личная жизнь

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

Рекомендации

  1. ^ ab «Моше Ю. Варди: Компьютерные и информационные науки». nasonline.org . Национальная академия наук .
  2. ^ abcd Публикации Моше Варди, проиндексированные Google Scholar
  3. ^ Аб Моше Варди в проекте «Математическая генеалогия»
  4. ^ ab «Люди ACM - Моше Ю. Варди». acm.org .
  5. ^ abcde "Моше Ю. Варди". ae-info.org . Европейская академия .
  6. ^ «Моше Ю. Варди | Факультет | Люди риса» . Profiles.rice.edu . Университет Райса . Проверено 16 мая 2023 г.
  7. ↑ БОЙД, ДЖЕЙД (22 июля 2011 г.). «Моше Варди из Райс удостоен звания заслуженного профессора службы» . Университет Райса. Архивировано из оригинала 6 марта 2014 года . Проверено 10 апреля 2012 г. Ученый-компьютерщик из Университета Райса Моше Варди был удостоен звания заслуженного профессора, что является одним из самых престижных должностей в университете.
  8. ^ «Люди». Институт Кена Кеннеди | Университет Райса . Проверено 16 мая 2023 г.
  9. ^ Страница профиля автора Моше Варди в цифровой библиотеке ACM .
  10. ^ Уинслетт, Марианна (2006). «Моше Варди высказывается по поводу доказательства, всего доказательства и ничего, кроме доказательства». Запись ACM SIGMOD . 35 : 56–64. дои : 10.1145/1121995.1122008. S2CID  27479793.
  11. ^ Варди, Моше Ю.; Феджин, Рональд; Халперн, Джозеф; Йорам Моисей (2003). Рассуждения о знаниях . Кембридж, Массачусетс: MIT Press. ISBN 0-262-56200-6.
  12. ^ Вайнштейн, Скотт; Эрих Градель; Колайтис, Фокион; Леонид Либкин; Мартен Маркс; Спенсер, Джоэл Х.; Варди, Моше Ю.; Венема, Иде (2007). Теория конечных моделей и ее приложения . Берлин: Шпрингер. ISBN 978-3-540-00428-8.
  13. ^ Варди, МЮ (2012). «Искусственный интеллект: прошлое и будущее». Коммуникации АКМ . 55 :5. дои : 10.1145/2063176.2063177 .
  14. ^ "МЕЖДУНАРОДНАЯ ФЕДЕРАЦИЯ ВЫЧИСЛИТЕЛЬНОЙ ЛОГИКИ С ОГРАНИЧЕННОЙ ЛЮДЬЮ" . find-and-update.company-information.service.gov.uk . Лондон, Великобритания: GOV.UK. 26 марта 2019 г. Проверено 16 мая 2023 г.
  15. ^ «МЕДАЛЬ БЛЕЗА ПАСКАЛЯ 2008 (раздел: «Медаль Блеза Паскаля в области вычислительных наук)» . Европейская академия наук. Архивировано из оригинала 4 марта 2017 года . Проверено 27 апреля 2017 г. Профессор Моше Ю. ВАРДИ, США / В знак признания его выдающегося вклада в несколько областей вычислительной науки, связанных с использованием логики в качестве базовой методологии. Его работа оказала фундаментальное и продолжительное влияние на автоматическую проверку, логику знаний, теорию баз данных и теорию конечных моделей.
  16. ^ «Обрекает ли автоматизация работников?» ( Инженерная школа Джорджа Р. Брауна ) Университета Райса . 31 октября 2016. Архивировано из оригинала 29 апреля 2017 года . Проверено 27 апреля 2017 г. Медаль Блеза Паскаля в области компьютерных наук 2008 года от Европейской академии наук.
  17. ^ аб Сэмюэлс, Жанна Ф. (14 марта 2013 г.). «Еврейский Вестник-Голос». Портал в историю Техаса . № 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. ^ «Моше Варди назначен почетным доктором факультета информационных технологий» . гу.се . 23 апреля 2020 г.
  23. ^ "Стипендиаты AAAI" . aaai.org . Ассоциация по развитию искусственного интеллекта .
  24. ^ «Выборы в Национальную академию наук», Mathematics People, Уведомления Американского математического общества , 62 (7): 826, август 2015 г..
  25. ^ Моше Ю. Варди из Райс избран членом Американской академии искусств и наук.
  26. ^ Класс членов AMS, Американское математическое общество , 2019 г. , получено 7 ноября 2018 г.
  27. ^ «Аарон Герцманн: главный научный сотрудник Adobe Research» . Торонто.edu .