Pierre Wolper
Pierre Wolper · Technology & Engineering
Pioneer of model checking with temporal logic; Gödel Prize (2000)
2000
Belgium (Liège — University of Liège)
Pierre Wolper is recognized among Jewish contributors to Technology & Engineering — Pioneer of model checking with temporal logic; Gödel Prize (2000)
Wolper, a Belgian computer scientist of Jewish background at the University of Liège, co-developed the automata-theoretic approach to model checking, using finite automata and temporal logic to verify automatically that computer and hardware systems behave correctly. He shared the Gödel Prize in 2000 and later became rector of his university.
Verify and go deeper with these external references.
Source: Jinfo.org — Jewish recipients of the Gödel Prize
This page is published in seven languages from an English source. The translations are reviewed, but a mistake can still slip through. If you spot one on this profile — a wrong word, a lost date, a sentence that says something the English does not — please tell us.
Pioneer of model checking with temporal logic; Gödel Prize (2000)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Similar Contributors
Moshe Vardi
Noam Nisan
Alan Hoffman
Amir Pnueli
Baruch Awerbuch
