Pierre Wolper

Pierre Wolper
Staatsangehörigkeit Belgier
Bekannt für Informatik

Pierre Wolper ist ein Belgier Informatiker Bei der Universität von Lütten.Zu seinen Forschungsinteressen gehören Überprüfungsmethoden für reaktive und gleichzeitige Programme sowie zeitliche Datenbanken.[1] Er ist der Co-Rezipient des 2000 Gödel -Preis, zusammen mit Moshe Y. Vardifür seine Arbeit an zeitliche Logik mit Finite Automaten.[2] Er erhielt auch die 2005 Paris Kanellakis Award für diese Arbeit.[3]

Nach den Wahlen im Oktober 2018 wird er zu Rektor der Universität von Lütten.[4]

Verweise

  1. ^ "Pierre Wolper". Abgerufen 13. Juli 2015.
  2. ^ Vardi, Moshe Y.; Wolper, Pierre (1994), "Argumentation über unendliche Berechnungen" (PDF), Informationen und Berechnung, Boston, MA: Akademische Presse, 115 (1): 1–37, doi:10.1006/inco.1994.1092, ISSN 0890-5401, archiviert von das Original (PDF) Am 2011-08-25
  3. ^ ACM ehrt Ersteller von Verifizierungstools für Software, Hardware, ACM, 15. März 2006, abgerufen 2012-12-12
  4. ^ Pierre Wolper élu Respeur de l'Liversité de Liège, L'Avenir, 11 Oktober 2018.

Externe Links