Моше Варди

• Моше Яаков Варди — израильский математик и специалист по информатике. 
• Он является заслуженным профессором Карен Острум Джордж в Университете Райса, США. 
• Его интересы сосредоточены на применении логики в информатике, включая теорию баз данных и автоматизированную проверку. 
• Варди является экспертом в области проверки моделей, соблюдения ограничений и теории баз данных. 
• Он является автором или соавтором более 700 технических статей и редактором нескольких сборников. 
• Варди является автором книг «Рассуждения о знании» и «Теория конечных моделей и ее приложения». 
• Он является старшим редактором отдела коммуникаций ACM и работал в IBM Research и Стэнфордском университете. 
• Варди является лауреатом нескольких премий IBM, премии Геделя, премии Кнута и других наград. 
• Он имеет почетные докторские степени в восьми университетах и является стипендиатом Фонда Гуггенхайма и членом Американской академии искусств и наук.