From Wikipedia, the free encyclopedia
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
|
---|
-
Adleman,
Diffie,
Hellman,
Merkle,
Rivest,
Shamir (1996)
-
Lempel,
Ziv (1997)
-
Bryant,
Clarke,
Emerson,
McMillan (1998)
-
Sleator,
Tarjan (1999)
-
Karmarkar (2000)
-
Myers (2001)
-
Franaszek (2002)
-
Miller,
Rabin,
Solovay,
Strassen (2003)
-
Freund,
Schapire (2004)
-
Holzmann,
Kurshan,
Vardi,
Wolper (2005)
-
Brayton (2006)
-
Buchberger (2007)
-
Cortes,
Vapnik (2008)
-
Bellare,
Rogaway (2009)
-
Mehlhorn (2010)
-
Samet (2011)
-
Broder,
Charikar,
Indyk (2012)
-
Blumofe,
Leiserson (2013)
-
Demmel (2014)
-
Luby (2015)
-
Fiat,
Naor (2016)
-
Shenker (2017)
-
Pevzner (2018)
-
Alon,
Gibbons,
Matias,
Szegedy (2019)
-
Azar,
Broder,
Karlin,
Mitzenmacher,
Upfal (2020)
-
Blum,
Dinur,
Dwork,
McSherry,
Nissim,
Smith (2021)
-
Burrows,
Ferragina,
Manzini (2022)
|
|
---|
International | |
---|
National | |
---|
Academics | |
---|
Other | |
---|