WikiDer > Пьер Вольпер

Pierre Wolper
Пьер Вольпер
Национальностьбельгийский
ИзвестенИнформатика

Пьер Вольпер это бельгийский специалист в области информатики на Льежский университет. Его исследовательские интересы включают методы проверки для реактивных и параллельных программ, а также временных баз данных.[1] Он является со-реципиентом 2000 года. Премия Гёделя, вместе с Моше Й. Варди, за его работу над темпоральная логика с конечные автоматы.[2] Он также получил 2005 Премия Пэрис Канеллакис для этой работы.[3]

После выборов в октябре 2018 года он становится ректором Льежский университет.[4]

Рекомендации

  1. ^ "Пьер Вольпер". Получено 13 июля 2015.
  2. ^ Варди, Моше Й .; Вольпер, Пьер (1994), «Рассуждения о бесконечных вычислениях» (PDF), Информация и вычисления, Бостон, Массачусетс: Академическая пресса, 115 (1): 1–37, Дои:10.1006 / inco.1994.1092, ISSN 0890-5401, заархивировано из оригинал (PDF) на 2011-08-25
  3. ^ ACM чествует создателей средств верификации программного и аппаратного обеспечения, ACM, 15 мар 2006 г., получено 2012-12-12
  4. ^ Пьер Вольпер и ректор Льежского университета, l'Avenir, 11 октября 2018 г.

внешняя ссылка