Pierre Wolper#

Pierre Wolper

Membership Number:3153
Membership type:ORDINARY
Main Country of Residence:BELGIUM

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

Imprint Privacy policy « This page (revision-16) was last changed on Monday, 16. October 2023, 15:55 by Wolper Pierre
  • operated by