Pierre Wolper - Pierre Wolper
Pierre Wolper | |
---|---|
Národnost | belgický |
Známý jako | Počítačová věda |
Pierre Wolper je belgický počítačový vědec na University of Lutych. Mezi jeho výzkumné zájmy patří metody ověřování reaktivních a souběžných programů i časové databáze.[1] Je spolupříjemcem roku 2000 Gödelova cena, spolu s Moshe Y. Vardi, za jeho práci na časová logika s konečné automaty.[2] Získal také rok 2005 Paris Kanellakis Award pro tuto práci.[3]
Po volbách v říjnu 2018 se stává rektorem University of Lutych.[4]
Reference
- ^ „Pierre Wolper“. Citováno 13. července 2015.
- ^ Vardi, Moshe Y .; Wolper, Pierre (1994), „Důvod k nekonečným výpočtům“ (PDF), Informace a výpočet, Boston, MA: Akademický tisk, 115 (1): 1–37, doi:10.1006 / inco.1994.1092, ISSN 0890-5401, archivovány z originál (PDF) dne 25. 8. 2011
- ^ ACM oceňuje tvůrce ověřovacích nástrojů pro software, hardware, ACM, 15. března 2006, vyvoláno 2012-12-12
- ^ Pierre Wolper élu recteur de l'Université de Liège, l'Avenir, 11. října 2018.
externí odkazy
![]() ![]() ![]() | Tento článek o a belgický vědec je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |