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