Pierre Wolper

Pierre Wolper is Rector of the University of Liège Follow @PierreWolper

Publications: 

• Google scholar profile
• ORBi
• DBLP

Courses

• Entries from university course catalog
• Additional information for students

Awards

• Member of Academia Europaea
• Member of Royal Academy of Belgium
• Gödel Prize (2000)
• Paris Kanellakis Theory and Practice Award (2005)
• Lics Test-of-Time award (2006 and 2011)
• CAV award (2014)
  

Links

• My site for the 2018 election of the Rector
  
• My blog
  
• Institut Montefiore
• University of Liege
• Logical Methods in Computer Science
• Journal of Formal Methods in System Design
• PeerJ Computer Science