Моше Варди

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