Pierre Wolper
Pierre Wolper · Technologia i inżynieria
Wolper, belgijski informatyk żydowskiego pochodzenia z Uniwersytetu w Liège, współtworzył automatowe podejście do weryfikacji modelowej, wykorzystujące automaty skończone i logikę temporalną do samoczynnego sprawdzania, czy układy komputerowe i sprzętowe działają poprawnie.
2000
Belgium (Liège — University of Liège)
Wolper, belgijski informatyk żydowskiego pochodzenia z Uniwersytetu w Liège, współtworzył automatowe podejście do weryfikacji modelowej, wykorzystujące automaty skończone i logikę temporalną do samoczynnego sprawdzania, czy układy komputerowe i sprzętowe działają poprawnie. W 2000 roku podzielił Nagrodę Gödla, a później został rektorem swojego uniwersytetu.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jewish recipients of the Gödel Prize
Ta strona ukazuje się w siedmiu językach na podstawie źródła angielskiego. Tłumaczenia są sprawdzane, ale błąd może się prześlizgnąć. Jeśli zauważysz go na tej stronie — błędne słowo, zgubioną datę, zdanie mówiące coś, czego nie ma w angielskim — daj nam znać.
Wolper, belgijski informatyk żydowskiego pochodzenia z Uniwersytetu w Liège, współtworzył automatowe podejście do weryfikacji modelowej, wykorzystujące automaty skończone i logikę temporalną do samoczynnego sprawdzania, czy układy komputerowe i sprzętowe działają poprawnie.
Źródło: Jinfo.org — Jewish recipients of the Gödel Prize
Podobni twórcy
Moshe Vardi
Noam Nisan
Alan Hoffman
Amir Pnueli
Baruch Awerbuch
