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