Оглавление
Моше Варди
-
Биография Моше Яакова Варди
- Израильский математик и специалист по информатике, заслуженный профессор Райса и преподавательский советник Института Кена Кеннеди.
- Интересы: логика в информатике, теория баз данных, многоагентные системы, автоматизированная проверка и логические рассуждения.
- Автор более 700 технических статей и редактор нескольких сборников.
-
Образование и карьера
- Образование: Университет Бар-Илан, Вейцмановский научный институт, Еврейский университет Иерусалима.
- Карьера: работал в IBM Research и Стэнфордском университете, был главным редактором отдела коммуникаций ACM.
- Научные исследования: заведующий кафедрой компьютерных наук в Райсе, редактор международных журналов, директор Международной федерации вычислительной логики.
-
Награды и почести
- Лауреат трех премий IBM, премии Геделя, премии Кнута, премии Париса Канеллакиса, LICS, президентской премии ACM, медали Блеза Паскаля, награды за выдающиеся заслуги от IEEE и других организаций.
- Имеет почетные докторские степени от восьми университетов, является стипендиатом Фонда Гуггенхайма и членом различных академий.
-
Личная жизнь
- Живет в Хьюстоне с женой Памелой Гейер, приемный сын Аарон Герцман также специалист по компьютерам.