Pierre Wolper
Pierre Wolper · Технологии и инженерия
Вольпер, бельгийский специалист по вычислительной технике еврейского происхождения из Льежского университета, участвовал в создании автоматного подхода к проверке моделей, применяющего конечные автоматы и временну́ю логику, чтобы самостоятельно проверять, правильно ли ведут себя вычислительные и аппаратные системы.
2000
Belgium (Liège — University of Liège)
Вольпер, бельгийский специалист по вычислительной технике еврейского происхождения из Льежского университета, участвовал в создании автоматного подхода к проверке моделей, применяющего конечные автоматы и временну́ю логику, чтобы самостоятельно проверять, правильно ли ведут себя вычислительные и аппаратные системы. В 2000 году он разделил премию Гёделя, а позже стал ректором своего университета.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — Jewish recipients of the Gödel Prize
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Вольпер, бельгийский специалист по вычислительной технике еврейского происхождения из Льежского университета, участвовал в создании автоматного подхода к проверке моделей, применяющего конечные автоматы и временну́ю логику, чтобы самостоятельно проверять, правильно ли ведут себя вычислительные и аппаратные системы.
Источник: Jinfo.org — Jewish recipients of the Gödel Prize
Похожие деятели
Moshe Vardi
Noam Nisan
Alan Hoffman
Amir Pnueli
Baruch Awerbuch
