Pierre Wolper
Pierre Wolper | |
---|---|
Nationality | Belgian |
Known for | Computer 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
- ^ "Pierre Wolper". Retrieved 13 July 2015.
- ^ 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
- ^ ACM honors creators of verification tools for software, hardware, ACM, 15 Mar 2006, retrieved 2012-12-12
- ^ Pierre Wolper élu recteur de l'Université de Liège, l'Avenir, 11 Octobre 2018.
External links
- Pierre Wolper at the Mathematics Genealogy Project
- Website at the University of Liège
- v
- t
- e
Gödel Prize laureates
- Vardi / Wolper (2000)
- Arora / Feige / Goldwasser / Lund / Lovász / Motwani / Safra / Sudan / Szegedy (2001)
- Sénizergues (2002)
- Freund / Schapire (2003)
- Herlihy / Saks / Shavit / Zaharoglou (2004)
- Alon / Matias / Szegedy (2005)
- Agrawal / Kayal / Saxena (2006)
- Razborov / Rudich (2007)
- Teng / Spielman (2008)
- Reingold / Vadhan / Wigderson (2009)
This article about a Belgian scientist is a stub. You can help Wikipedia by expanding it. |
- v
- t
- e