Pierre Wolper

Pierre Wolper (* 1955) is a Belgian computer scientist. He is a professor at the University of Liege ( Institut Montefiore ). Wolper in 1978 received his degree in electrical engineering from the University of Liege and in 1982 received his doctorate at Stanford University in Zohar Manna ( Synthesis of communicating processes from temporal logic specifications ). 1982 to 1986 he was employed at Bell Laboratories and later at the University of Liège, where he was Chargé de Cours and in 1989 was awarded a full professorship. 2001 to 2009 he headed the Department of Electrical Engineering and computer science before ( Montefiore Institute ). In 2009 he was Vice - Rector for Research of the University.

It deals with algorithmischene verification methods, temporal logic and model checking, logic and decision-making processes, automata theory and temporal databases.

In 2000 he was awarded the Gödel Prize for model verification ( model checking ) at finite automata with Moshe Y. Vardi. In 2005 he was awarded with Gerard Holzmann, Moshe Vardi and Robert Kurshan the Paris Kanellakis Award for Formal Verification of Reactive Systems.

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 Belgian Academy of Sciences ( 2009). In 1998 he had the Franqui Visiting Professorship in Namur.

Writings

  • Moshe Vardi Reasoning about infinite computations, Information and Computation, Academic Press, Volume 115, 1994, pp. 1-37 ( awarded the Gödel price)
  • With Vardi on Automata Theoretic Approach to Automatic Program Verification ", Proceedings of the First Symposium on Logic in Computer Science, Cambridge, 1986, pp. 322-331 ( LICS received the test- of-time award 1996)
  • Introduction à la calculabilité: cours et exercices Corriges, Paris, Dunod, 2006
  • Patrice Godefroid with 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
  • 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.
Finite-state machine Gerard J. Holzmann Mathematics Genealogy Project
649885
de