Пьер Вольпер
Пьер Вольпер | |
|---|---|
| Национальность | бельгийский |
| Известный | Информатика |
Пьер Вольпер — бельгийский ученый-компьютерщик из Льежского университета . Его научные интересы включают методы проверки реактивных и параллельных программ , а также временных баз данных . [1] Он является со-лауреатом премии Гёделя 2000 года вместе с Моше Варди за работу по темпоральной логике с конечными автоматами . [2] За эту работу он также получил премию Парижа Канеллакиса в 2005 году . [3]
После выборов в октябре 2018 года он становится ректором Льежского университета . [4]
Ссылки [ править ]
- ^ «Пьер Вольпер» . Проверено 13 июля 2015 г.
- ^ Варди, Моше Ю.; Вулпер, Пьер (1994), «Рассуждения о бесконечных вычислениях» (PDF) , Information and Computation , 115 (1), Бостон, Массачусетс: Academic Press : 1–37, doi : 10.1006/inco.1994.1092 , ISSN 0890-5401 , заархивировано из оригинала (PDF) 25 августа 2011 г.
- ^ ACM награждает создателей средств проверки программного и аппаратного обеспечения , ACM , 15 марта 2006 г. , получено 12 декабря 2012 г.
- ^ Пьер Вольпер избран ректором Льежского университета , Л'Авенир, 11 октября 2018 г.
Внешние ссылки [ править ]
   | о бельгийском ученом незавершена . Эта статья Вы можете помочь Википедии, расширив ее . |