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
- 2023 A. Richard Newton Technical Impact Award in Electronic Design Automation (shared with Moshe Vardi)
- 2014 CAV (Computer Aided Verification) Award (shared with Patrice Godefroid, Doron Peled, and Antti Valmari)
- 2011 Symposium on Logic in Computer Science (LICS) Test-of Time Award for the paper "A partial approach to model checking" by Patrice Godefroid and Pierre Wolper
- 2009 Member of the Royal Academy of Sciences, Arts and Letters of Belgium
- 2006 Symposium on Logic in Computer Science (LICS) Test-of Time Award for the paper "An Automata-Theoretic Approach to Automatic Program Verification" by Moshe Y. Vardi and Pierre Wolper
- 2005 ACM Kanellakis Theory and Practice Award (shared with G. Holzmann, M. Vardi, and R. Kurshan)
- 2000 Gödel Prize for the paper "Reasoning about Infinite Computations" by Moshe Y. Vardi and Pierre Wolper
- 1998 "Chaire Francqui au titre belge" (invited honorary chair), Facultés Universitaires Notre Dame de la Paix à Namur
- 1990 Prize of the Alumni of the "Fondation Universitaire Belge"
