Pierre Wolper
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]
References
- ↑ "Pierre Wolper". Retrieved 13 July 2015.
- ↑ Vardi, Moshe Y.; Wolper, Pierre (1994), "Reasoning about infinite computations" (PDF), Information and Computation (Boston, MA: Academic Press) 115 (1): 1–37, doi:10.1006/inco.1994.1092, ISSN 0890-5401
- ↑ ACM honors creators of verification tools for software, hardware, ACM, 15 Mar 2006, retrieved 2012-12-12
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)
|
|