Моше Варди
Моше Варди · Технологии и инженерия
Варди положил начало применению математической логики в информатике — от теории баз данных до автоматической верификации аппаратного и программного обеспечения.
1954, Хайфа, Израиль
Израиль · США (Хьюстон, Rice University)
Варди положил начало применению математической логики в информатике — от теории баз данных до автоматической верификации аппаратного и программного обеспечения. Родившийся в Хайфе у венгерских родителей, переживших Холокост, он стал университетским профессором в Университете Райса и получил премии Гёделя и Кнута. Его методы применяются для проверки правильности реальных вычислительных систем.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Варди положил начало применению математической логики в информатике — от теории баз данных до автоматической верификации аппаратного и программного обеспечения.
Источник: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
Похожие деятели
Noam Nisan
Micha Sharir
Noga Alon
Pierre Wolper
