Pierre Wolper

Pierre Wolper is a Belgian computer scientist at the University of Liège.

His research interests include verification methods for reactive and concurrent programs, as well as temporal databases.

[1] He is the co-recipient of the 2000 Gödel Prize, along with Moshe Y. Vardi, for his work on temporal logic with finite automata.

[2] He also received the 2005 Paris Kanellakis Award for this work.

[3] Following elections of October 2018, he becomes Rector of the University of Liège.