Jump to content

Pierre Wolper

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 78.22.198.37 (talk) at 21:24, 27 August 2023. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Pierre Wolper
NationalityBelgian
Known forComputer science

Pierre Wolper is a Belgian computer scientist at the University of Liège. His research interests include verification methods for reactive and concurrent programs, as well as temporal databases.[1] He is the co-recipient of the 2000 Gödel Prize, along with Moshe Y. Vardi, for his work on temporal logic with finite automata.[2] He also received the 2005 Paris Kanellakis Award for this work.[3]

Following elections of October 2018, he becomes Rector of the University of Liège.[4]

References

  1. ^ "Pierre Wolper". Retrieved 13 July 2015.
  2. ^ Vardi, Moshe Y.; Wolper, Pierre (1994), "Reasoning about infinite computations" (PDF), Information and Computation, 115 (1), Boston, MA: Academic Press: 1–37, doi:10.1006/inco.1994.1092, ISSN 0890-5401, archived from the original (PDF) on 2011-08-25
  3. ^ ACM honors creators of verification tools for software, hardware, ACM, 15 Mar 2006, retrieved 2012-12-12
  4. ^ Pierre Wolper élu recteur de l'Université de Liège, l'Avenir, 11 Octobre 2018.


Flag of BelgiumScientist icon Stub icon

This article about a Belgian scientist is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Pierre_Wolper&oldid=1172559312"