Pierre Wolper#
| Membership Number: | 3153 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2012 |
| Main Country of Residence: | BELGIUM |
| Homepage(s): | http://www.montefiore.ulg.ac.be/~pw |
Present and Previous Positions
- 2022 - present: Professeur Emérite, University of Liège
- 1989 - 2022: Professeur Ordinaire (Full Professor), University of Liège
- 2018 - 2022: Rector of the University of Liège
- 2015 - 2018: Dean of the School of Engineering, University of Liège
- 2009 - 2014, Vice-Rector for Research, University of Liège
- 2001 - 2009, Chair of the EECS Department, University of Liège
- 1986 - 1989: Chargé de Cours (Lecturer), University of Liège
- 1982 - 1986: “Member of Technical Staff”, Bell Laboratories, Murray Hill, New Jersey
Fields of Scholarship
- Algorithmic verification
- Temporal logic and model-checking
- Automata theory
- Logic and decision procedures
- Temporal databases
Honours and Awards
- A. Richard Newton Technical Impact Award in Electronic Design Automation 2023 (shared with Moshe Vardi)
- CAV (Computer Aided Verification) 2014 Award (shared with Patrice Godefroid, Doron Peled, and Antti Valmari)
- Symposium on Logic in Computer Science (LICS) 2011 Test-of Time Award for the paper "A partial approach to model checking" by Patrice Godefroid and Pierre Wolper
- Member of the Royal Academy of Sciences, Arts and Letters of Belgium (since 2009)
- Symposium on Logic in Computer Science (LICS) 2006 Test-of Time Award for the paper "An Automata-Theoretic Approach to Automatic Program Verification" by Moshe Y. Vardi and Pierre Wolper
- ACM Kanellakis Theory and Practice award 2005 (shared with G. Holzmann, M. Vardi, and R. Kurshan)
- Gödel Prize 2000 for the paper "Reasoning about Infinite Computations" by Moshe Y. Vardi and Pierre Wolper
- "Chaire Francqui au titre belge" (invited honorary chair), Facultés Universitaires Notre Dame de la Paix à Namur, 1998
- Prize of the Alumni of the "Fondation Universitaire Belge" 1990
