Pierre Wolper
Pierre Wolper (* 1955 ) is a Belgian computer scientist and has been Rector of the University of Liège since 2018.
Life
Wolper received his degree in electrical engineering from the University of Liège in 1978 and received his doctorate in 1982 from Stanford University with Zohar Manna (Synthesis of communicating processes from temporal logic specifications). From 1982 to 1986 he was employed at Bell Laboratories and then at the University of Liège , where he was Chargée de Cours and was given a full professorship from 1989. In 1998 he was a Franqui visiting professor in Namur. From 2001 to 2009 he headed the Faculty of Electrical Engineering and Computer Science (Montefiore Institute). In 2009 he became vice-rector for research at the university; since 2018 he has been rector of the University of Liège.
He deals with algorithmic verification methods, temporal logic and model testing , logic and decision-making processes, automaton theory and with temporal databases.
He is co-editor of the International Journal on Formal Methods in System Design. Wolper is a member of the Academia Europaea and the Royal Academy of Sciences and Fine Arts of Belgium (2009).
honors and awards
- 2000 - Moshe Y. Vardi the Gödel Prize for Model Checking at Finite Machines .
- 2005 Paris Kanellakis Prize for Formal Verification of Reactive Systems , together with Gerard Holzmann , Moshe Vardi and Robert Kurshan
Fonts
- with Moshe Vardi Reasoning about infinite computations , Information and Computation, Academic Press, Volume 115, 1994, pp. 1–37 (received the Gödel Prize)
- with Vardi An Automata-Theoretic Approach to Automatic Program Verification , Proceedings of the First Symposium on Logic in Computer Science, Cambridge 1986, pp. 322–331 (received the LICS test-of-time award 1996)
- Introduction à la calculabilité: cours et exercices corrigés, Paris, Dunod, 2006.
- with Patrice Godefroid A partial approach to model checking , Proc. 6th Symp. On Logic in Computer Science, Amsterdam 1991, pp. 406-415 (received the LICS Test-of-time award 2011)
- Temporal logic can be more expressive , Information and Control, 56, 1983, pp. 72-99
- with Rob Gerth, Doron Peled, Moshe Y. Vardi Simple on-the-fly automatic verification of linear temporal logic , In Proc. 15th Work. Protocol Specification, Testing, and Verification, Warsaw, June 1995.
Web links
Individual evidence
- ↑ Pierre Wolper in the Mathematics Genealogy Project (English)
| personal data | |
|---|---|
| SURNAME | Wolper, Pierre |
| BRIEF DESCRIPTION | Belgian computer scientist |
| DATE OF BIRTH | 1955 |