Pierre Wolper

{{Infobox scientist

| name = Pierre Wolper

| image =

| image_size =

| alt =

| caption =

| birth_date =

| birth_place =

| death_date =

| death_place =

| residence =

| citizenship =

| nationality = Belgian

| fields =

| workplaces =

| alma_mater =

| doctoral_advisor =

| academic_advisors =

| doctoral_students =

| notable_students =

| known_for = Computer science

| influences =

| influenced =

| awards =

| signature =

| signature_alt =

| footnotes =

| spouse =

}}

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.{{cite web|url=http://www.montefiore.ulg.ac.be/~pw/|title=Pierre Wolper|access-date=13 July 2015}} 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.{{Citation | last1=Vardi | first1=Moshe Y. | last2=Wolper | first2=Pierre | title=Reasoning about infinite computations | url=http://reference.kfupm.edu.sa/content/r/e/reasoning_about_infinite_computations__102167.pdf | publisher=Academic Press | location=Boston, MA | year=1994 | journal=Information and Computation | issn=0890-5401 | volume=115 | issue=1 | pages=1–37 | doi=10.1006/inco.1994.1092 | url-status=dead | archive-url=https://web.archive.org/web/20110825210914/http://reference.kfupm.edu.sa/content/r/e/reasoning_about_infinite_computations__102167.pdf | archive-date=2011-08-25 }} He also received the 2005 Paris Kanellakis Award for this work.{{citation

|title=ACM honors creators of verification tools for software, hardware

|date=15 Mar 2006 |publisher=ACM

|url=http://www.cs.rice.edu/~vardi/kanellakis.html |access-date=2012-12-12}}

Following elections of October 2018, he becomes Rector of the University of Liège.[https://www.lavenir.net/cnt/dmf20181011_01240601/pierre-wolper-elu-recteur-de-l-universite-de-liege Pierre Wolper élu recteur de l'Université de Liège], l'Avenir, 11 Octobre 2018.