Pierre Wolper
Pierre Wolper · Technologie & ingénierie
Wolper, informaticien belge d'origine juive à l'Université de Liège, co-développe l'approche par automates de la vérification de modèles (model checking), utilisant automates finis et logique temporelle pour vérifier automatiquement le bon comportement des systèmes informatiques et matériels.
2000
Belgique (Liège — University of Liège)
Wolper, informaticien belge d'origine juive à l'Université de Liège, co-développe l'approche par automates de la vérification de modèles (model checking), utilisant automates finis et logique temporelle pour vérifier automatiquement le bon comportement des systèmes informatiques et matériels. Il partage le prix Gödel en 2000 et devient plus tard recteur de son université.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — Jewish recipients of the Gödel Prize
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
Wolper, informaticien belge d'origine juive à l'Université de Liège, co-développe l'approche par automates de la vérification de modèles (model checking), utilisant automates finis et logique temporelle pour vérifier automatiquement le bon comportement des systèmes informatiques et matériels.
Source : Jinfo.org — Jewish recipients of the Gödel Prize
Contributeurs similaires
Moshe Vardi
Noam Nisan
Alan Hoffman
Amir Pnueli
Baruch Awerbuch
