Pierre Wolper - Pierre Wolper

Pierre Wolper
MilliyetBelçikalı
BilinenBilgisayar Bilimi

Pierre Wolper bir Belçikalı bilgisayar uzmanı -de Liège Üniversitesi. Araştırma ilgi alanları, reaktif ve eşzamanlı programlar için doğrulama yöntemlerinin yanı sıra zamansal veri tabanlarını içerir.[1] 2000'in ortak alıcısı Gödel Ödülü, ile birlikte Moshe Y. Vardi, üzerindeki çalışması için zamansal mantık ile sonlu otomata.[2] Ayrıca 2005 Paris Kanellakis Ödülü bu iş için.[3]

Ekim 2018 seçimlerinden sonra Rektör oldu. Liège Üniversitesi.[4]

Referanslar

  1. ^ "Pierre Wolper". Alındı 13 Temmuz 2015.
  2. ^ Vardi, Moshe Y .; Wolper Pierre (1994), "Sonsuz hesaplamalar hakkında akıl yürütme" (PDF), Bilgi ve Hesaplama, Boston, MA: Akademik Basın, 115 (1): 1–37, doi:10.1006 / inco.1994.1092, ISSN  0890-5401, dan arşivlendi orijinal (PDF) 2011-08-25 tarihinde
  3. ^ ACM, yazılım ve donanım için doğrulama araçlarının yaratıcılarını onurlandırıyor, ACM, 15 Mart 2006, alındı 2012-12-12
  4. ^ Pierre Wolper élu recteur de l'Université de Liège, l'Avenir, 11 Ekim 2018.

Dış bağlantılar