Pierre Wolper#

Pierre Wolper

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

Present and Previous Positions

  • 1989 - present: Professeur Ordinaire (Full Professor), University of Liège
  • 2018 - present: 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
  • 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-15) was last changed on Monday, 14. June 2021, 13:59 by Wolper Pierre
  • operated by