Pierre Wolper is a

Belgian Belgian may refer to: * Something of, or related to, Belgium * Belgians, people from Belgium or of Belgian descent * Languages of Belgium, languages spoken in Belgium, such as Dutch, French, and German *Ancient Belgian language, an extinct language ...

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

at the

University of Liège The University of Liège (french: Université de Liège), or ULiège, is a major public university of the French Community of Belgium based in Liège, Wallonia, Belgium. Its official language is French. As of 2020, ULiège is ranked in the 301 ...

. His research interests include verification methods for reactive and concurrent programs, as well as temporal databases. He is the co-recipient of the 2000

Gödel Prize The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Inter ...

, along with

Moshe Y. Vardi , honorific_suffix = , image = Moshe Vardi IMG 0010.jpg , birth_date = , birth_place = Israel , workplaces = Rice UniversityIBM ResearchStanford University , alma_mater = , thesis_title = The I ...

, for his work on

temporal logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...

with

finite automata A finite-state machine (FSM) or finite-state automaton (FSA, plural: ''automata''), finite automaton, or simply a state machine, is a mathematical model of computation. It is an abstract machine that can be in exactly one of a finite number o ...

. He also received the 2005

Paris Kanellakis Award The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery (ACM) to honor "specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing". It wa ...

for this work. Following elections of October 2018, he becomes Rector of the

.Pierre Wolper élu recteur de l'Université de Liège
l'Avenir, 11 Octobre 2018.

References

External links

*
Website at the University of Liège
Year of birth missing (living people) Living people Belgian computer scientists Stanford University alumni Gödel Prize laureates {{Belgium-scientist-stub