Из Википедии, бесплатной энциклопедии
  (Перенаправлено Моше Ю. Варди )
Перейти к навигации Перейти к поиску
Профессор Моше Варди
Моше Варди IMG 0010.jpg
Родившийся
Моше Яаков Варди

1954 (66–67 лет)
Израиль
Альма-матерУниверситет Бар-Илан
Институт науки Вейцмана
Еврейский университет
ДетиАарон Герцманн
НаградыПремия Гёделя (2000)
Научная карьера
УчрежденияУниверситет Райса
Исследовательский центр IBM Almaden
Стэнфордский университет
ТезисПроблема импликации для зависимостей данных в реляционной модели [1]  (1981)
ДокторантКатриэль Бери [1]
Веб-сайтwww .cs .rice .edu / ~ vardi

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

Моше Ю. Варди является автором более 600 технических статей [6] [7] [8], а также редактором нескольких сборников. Он является автором книг « Рассуждения о знании» [9] с Рональдом Фейджином , Джозефом Халперном и Йорамом Мозесом , а также « Теория конечных моделей и ее приложения» [10] с Эрихом Гределем, Фокион Г. Колайтисом , Леонидом Либкиным , Маартеном Марксом, Джоэлем Спенсером , Иде Венема и Скотт Вайнштейн. Он является старшим редактором отдела коммуникаций ACM , проработав главным редактором в течение десяти лет. [11]

Фон [ править ]

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

Он живет со своей женой Памелой Гейер в Беллере, штат Техас. Его приемный сын доктор Аарон Герцманн также является известным компьютерным ученым в Adobe Research, имеющим опыт в области компьютерного зрения , компьютерной графики , взаимодействия человека с компьютером и машинного обучения .

Награды [ править ]

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

Варди произносит приветственную речь для присвоения звания почетного доктора в Гренобле.

Он имеет почетные докторские степени [ необходима ссылка ] в восьми университетах [ необходима цитата ] : Саарский университет , Германия, Орлеанский университет и Университет Гренобль-Альпы во Франции, UFRGS в Бразилии, Льежский университет в Бельгии, Венский технический университет , Австрия. , Эдинбургский университет в Шотландии и Гетеборгский университет в Швеции. Профессор Варди - редактор нескольких международных журналов и президент Международной федерации вычислительной логики. Он являетсяGuggenheim Fellow , [14] , а также сотрудник Ассоциации вычислительной техники , в Американской ассоциации содействия развитию науки , а также Американской ассоциации искусственного интеллекта . Он был назначен высоко процитированным научным по Институту научной информации , и был избран в качестве члена американской Национальной академии наук , в Национальной академии наук , [15] Европейская академия наук и Академия Еуропео . Он был назван Американской академией искусств и наук в 2010 году [16].Он был включен в класс стипендиатов Американского математического общества 2019 года «за вклад в развитие и использование математической логики в информатике». [17] Он также был сопредседателем Целевой группы ACM по миграции рабочих мест .

Ссылки [ править ]

  1. ^ a b c Моше Варди в проекте « Математическая генеалогия»
  2. ^ "www.cs.rice.edu/~vardi" . Проверено 20 июня 2012 . CS1 maint: обескураженный параметр ( ссылка )
  3. ^ БОЙД JADE (22 июля 2011). «Моше Варди из Райса удостоен звания Заслуженного профессора службы» . Университет Райса. Архивировано 10 апреля 2012 года . Проверено 10 апреля 2012 года . Ученый-компьютерщик из Университета Райса Моше Варди был удостоен звания почетного профессора службы, что является одним из самых престижных назначений преподавателей университета. CS1 maint: обескураженный параметр ( ссылка )
  4. ^ Моше Варди странице профиля автора в ACM Digital Library
  5. ^ Winslett, М. (2006). «Моше Варди высказывается по поводу доказательства, всего доказательства и ничего, кроме доказательства». ACM SIGMOD Запись . 35 : 56–64. DOI : 10.1145 / 1121995.1122008 . S2CID 27479793 . 
  6. ↑ Моше Ю. Варди насервере библиографии DBLP
  7. ^ Список публикаций из Microsoft Academic
  8. ^ Публикации Моше Варди, проиндексированные Google Scholar
  9. ^ Варди, Моше Й .; Феджин, Рональд; Халперн, Джозеф; Йорам Моисей (2003). Рассуждения о знаниях . Кембридж, Массачусетс: MIT Press. ISBN 0-262-56200-6.
  10. ^ Вайнштейн, Скотт; Эрих Градел; Колайтис, Фокион; Леонид Либкин; Маартен Маркс; Спенсер, Джоэл Х .; Варди, Моше Й .; Венема, Иде (2007). Теория конечных моделей и ее приложения . Берлин: Springer. ISBN 978-3-540-00428-8.
  11. Перейти ↑ Vardi, MY (2012). «Искусственный интеллект: прошлое и будущее» . Коммуникации ACM . 55 : 5. DOI : 10,1145 / 2063176,2063177 .
  12. ^ "МЕДАЛЬ БЛЕЗА ПАСКАЛЯ 2008 (раздел:" Медаль Блейза Паскаля в вычислительной науке ")" . Европейская академия наук. Архивировано из оригинала на 4 марта 2017 года . Проверено 27 апреля 2017 года . Профессор Моше Й. ВАРДИ, США / В знак признания его выдающегося вклада в несколько областей вычислительной науки, связанных с использованием логики в качестве основной методологии. Его работа оказала фундаментальное и прочное влияние на автоматическую верификацию, логику познания, теорию баз данных и теорию конечных моделей. CS1 maint: обескураженный параметр ( ссылка )
  13. ^ "Автоматизация обрекает рабочих?" . ( Школа инженерии Джорджа Р. Брауна в Университете Райса ) . 31 октября 2016 года. Архивировано 27 апреля 2017 года . Проверено 27 апреля 2017 года . медаль Блеза Паскаля за информатику от Европейской академии наук в 2008 г. CS1 maint: обескураженный параметр ( ссылка )
  14. ↑ Список стипендий Гуггенхайма, присужденных в 2005 г. # V
  15. ^ «Выборы в Национальную академию наук», «Математики», Уведомления Американского математического общества , 62 (7): 826, август 2015 г..
  16. ^ Моше Я. Варди избран научный сотрудник Райс из Американской академии искусств и наук .
  17. ^ 2019 Class of the Fellows of the AMS , American Mathematical Society , извлечено 07.11.2018 CS1 maint: обескураженный параметр ( ссылка )