Моше Варди
Моше Варди | |
|---|---|
 | |
| Рожденный | 1954 (69–70 лет) Израиль |
| Альма-матер | |
| Награды |
|
| Научная карьера | |
| Поля | Логика Вычисление [2] |
| Учреждения | Университет Райса IBM Исследования Стэнфордский университет |
| Диссертация | Проблема последствий зависимостей данных в реляционной модели (1981) |
| Докторантура | Катриэль Бери [3] |
| Докторанты | Кристин Ивонн Розье |
| Веб-сайт | www |
Моше Яаков Варди ( иврит : מושה יאקוב ורדי ) 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] от Института инженеров по электротехнике и электронике (IEEE) в 2011 году Награда за выдающиеся заслуги в 2010 году от Ассоциации компьютерных исследований, Премия Мемориала Гарри Х. Гуда , Специальная группа по интересам ACM в области логики и вычислений (SIGLOG) 2018 года, Премия за выдающиеся заслуги от Европейская ассоциация теоретической информатики (EATCS), [17] Европейская ассоциация компьютерных наук и логики (EACSL) и Общество Курта Гёделя (KGS) совместно спонсировали премию Алонзо Чёрча за выдающийся вклад в логику и вычисления (совместно с Томасом Федером). Варди также имеет почетные докторские степени восьми университетов:
- Саарский университет , Германия [5]
- Орлеанский университет [5]
- Университет Гренобль-Альпы (UGA) во Франции [18]
- Федеральный университет Риу-Гранди-ду-Сул (UFRGS) в Бразилии [19]
- Льежский университет в Бельгии [20]
- ТУ Вена в Австрии [ нужна ссылка ]
- Эдинбургский университет в Шотландии [21]
- Университет Гетеборга в Швеции [22]
Варди является научным сотрудником Гуггенхайма , членом ACM , членом AAAI , [23] Член Американской ассоциации содействия развитию науки и иностранный член Королевского общества (ForMemRS). Он был признан высоко цитируемым исследователем Институтом научной информации и был избран членом Национальной инженерной академии США , Национальной академии наук . [1] [24] Европейская академия наук и Европейская академия наук (MAE). [5] В 2010 году он был избран членом Американской академии искусств и наук . [25] Он был включен в список стипендиатов Американского математического общества 2019 года «за вклад в разработку и использование математической логики в информатике». [26]
Личная жизнь [ править ]
Варди живет со своей женой Памелой Гейер в Хьюстоне, штат Техас . [17] Его приемный сын Аарон Герцманн [27] также является ученым-компьютерщиком в Adobe Research .
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б «Моше Ю. Варди: Компьютерные и информационные науки» . nasonline.org . Национальная академия наук .
- ^ Jump up to: Перейти обратно: а б с д Публикации Моше Варди, проиндексированные Google Scholar
- ^ Jump up to: Перейти обратно: а б Моше Варди в проекте «Математическая генеалогия»
- ^ Jump up to: Перейти обратно: а б «Люди ACM — Моше Варди» . acm.org .
- ^ Jump up to: Перейти обратно: а б с д и «Моше Ю. Варди» . ae-info.org . Европейская академия .
- ^ «Моше Ю. Варди | Факультет | Люди риса» . Profiles.rice.edu . Университет Райса . Проверено 16 мая 2023 г.
- ^ БОЙД, ДЖЕЙД (22 июля 2011 г.). «Моше Варди из Райс удостоен звания заслуженного профессора службы» . Университет Райса. Архивировано из оригинала 6 марта 2014 года . Проверено 10 апреля 2012 г.
Ученый-компьютерщик из Университета Райса Моше Варди был удостоен звания заслуженного профессора – одной из самых престижных должностей в университете.
- ^ "Люди" . Институт Кена Кеннеди | Университет Райса . Проверено 16 мая 2023 г.
- ^ Моше Варди Страница профиля автора ACM. в цифровой библиотеке
- ^ Уинслетт, Марианна (2006). «Моше Варди высказывается по поводу доказательства, всего доказательства и ничего, кроме доказательства». Запись ACM SIGMOD . 35 : 56–64. дои : 10.1145/1121995.1122008 . S2CID 27479793 .
- ^ Варди, Моше Ю.; Феджин, Рональд; Халперн, Джозеф; Йорам Моисей (2003). Рассуждения о знаниях . Кембридж, Массачусетс: MIT Press. ISBN 0-262-56200-6 .
- ^ Вайнштейн, Скотт; Эрих Градель; Колайтис, Фокион; Леонид Либкин; Мартен Маркс; Спенсер, Джоэл Х.; Варди, Моше Ю.; Венема, Иде (2007). Теория конечных моделей и ее приложения . Берлин: Шпрингер. ISBN 978-3-540-00428-8 .
- ^ Варди, МЮ (2012). «Искусственный интеллект: прошлое и будущее» . Коммуникации АКМ . 55 :5. дои : 10.1145/2063176.2063177 .
- ^ «МЕЖДУНАРОДНАЯ ФЕДЕРАЦИЯ ВЫЧИСЛИТЕЛЬНОЙ ЛОГИКИ С ОГРАНИЧЕННОЙ ОТВЕТСТВЕННОСТЬЮ» . find-and-update.company-information.service.gov.uk . Лондон, Великобритания: GOV.UK. 26 марта 2019 года . Проверено 16 мая 2023 г.
- ^ «МЕДАЛЬ БЛЕЗА ПАСКАЛЬ 2008 (раздел: «Медаль Блеза Паскаля в области вычислительных наук»)» . Европейская академия наук. Архивировано из оригинала 4 марта 2017 года . Проверено 27 апреля 2017 г.
Профессор Моше Ю. ВАРДИ, США / В знак признания его выдающегося вклада в несколько областей вычислительной науки, связанных с использованием логики в качестве базовой методологии. Его работа оказала фундаментальное и продолжительное влияние на автоматическую проверку, логику знаний, теорию баз данных и теорию конечных моделей.
- ^ «Обрекает ли автоматизация работников на гибель?» . ( Инженерная школа Джорджа Р. Брауна ) Университета Райса . 31 октября 2016. Архивировано из оригинала 29 апреля 2017 года . Проверено 27 апреля 2017 г.
Медаль Блеза Паскаля в области компьютерных наук 2008 года от Европейской академии наук.
- ^ Jump up to: Перейти обратно: а б Сэмюэлс, Жанна Ф. (14 марта 2013 г.). «Еврейский Вестник-Голос» . Портал в историю Техаса . № 54, том 105. Хьюстон, Техас: Библиотеки Университета Северного Техаса. п. 17 . Проверено 16 мая 2023 г.
- ^ «Варди удостоен звания почетного доктора Университета Гренобль-Альпы» . рис.еду .
- ^ «Почетный доктор профессору Моше Варди» . ufrgs.br . 21 марта 2016 г.
- ^ «ULiège чествует 10 международных деятелей и своих новых докторантов (диссертациями)» . Льежский университет . 16 марта 2017 г. Проверено 26 августа 2022 г.
- ^ «Моше Варди – Люди, машины и работа: Будущее сейчас» . ed.ac.uk.
- ^ «Моше Варди назначен почетным доктором факультета информационных технологий» . гу.се . 23 апреля 2020 г.
- ^ «Стипендиаты АААИ» . aaai.org . Ассоциация по развитию искусственного интеллекта .
- ^ «Выборы в Национальную академию наук», Mathematics People, Уведомления Американского математического общества , 62 (7): 826, август 2015 г.
- ^ Моше Ю. Варди из Райс избран членом Американской академии искусств и наук .
- ^ Класс членов AMS , Американское математическое общество , 2019 г. , получено 7 ноября 2018 г.
- ^ «Аарон Герцманн: главный научный сотрудник Adobe Research» . Торонто.edu .
- 1954 года рождения
- Живые люди
- Выпускники Еврейского университета в Иерусалиме
- сотрудники IBM
- Израильские ученые-компьютерщики
- Израильские редакторы
- Израильские математики
- Израильские научные писатели
- Члены Ассоциации по развитию искусственного интеллекта
- 2000 г. члены Ассоциации вычислительной техники.
- Члены Американской ассоциации содействия развитию науки
- Члены Американского математического общества
- Формальные методы люди
- Лауреаты премии Гёделя
- Лауреаты премии Кнута
- Математические логики
- Члены Европейской академии
- Члены Национальной инженерной академии США
- Члены Национальной академии наук США
- Ученые-компьютерщики IBM Research
- Люди из Хайфы
- Преподаватели Университета Райса
- Выпускники ешивата Кфар ха-Роэ