Pierre Wolper, né le à Liège, est un informaticien belge. Il devient le recteur de l'université de Liège (ULiège) le .
Biographie Pierre Wolper termine ses études d'ingénieur en électricité en 1978 à l'université de Liège et obtient un doctorat (Ph. D.) en 1982 à l'université Stanford chez Zohar Manna, avec une thèse intitulée Synthesis of communicating processes from temporal logic specifications.. De 1982 à 1986 il travaille aux Bell Laboratories et ensuite à l'université de Liège, où il est d'abord chargé de cours et professeur titulaire à partir de 1989. De 2001 à 2009 il dirige le département d’électricité, électronique et informatique (Institut Montefiore). De 2009 à 2014, il est Vice-Recteur à la recherche de l'université de Liège. En 2015, il devient doyen de la Faculté des Sciences Appliquées, avant d'être élu en 2018 au poste de Recteur de l'université de Liège. Anne-Sophie Nyssen lui succède à ce poste le , devenant la première femme recteur à l’ULiège.
Recherche Sa recherche porte entre autres sur les méthodes de vérification de programmes réactifs et concurrents, la logique temporelle, le model checking, la théorie des automates ainsi que les bases de données temporellesPage personnelle de Pierre Wolper à l'université de Liège.. Pierre Wolper est auteur d'un livre d'enseignement intitulé Introduction à la calculabilité.
Il est membre du comité de rédaction du journal Formal Methods in System Design et du journal en libre accès Logical Methods in Computer Science. Il est membre de l'Academia Europaea, et membre de l'Académie royale des sciences, des lettres et des beaux-arts de Belgique depuis 2009.
Prix et distinctions Il est corécipiendaire, avec Moshe Y. Vardi, du prix Gödel en 2000 pour son travail sur la logique temporelle avec automates finis. Il est lauréat, avec G. Holzmann, M. Vardi, et R. Kurshan, du Prix Paris Kanellakis décerné par l'ACM, pour l'année 2005. Il est également lauréat du LICS Test-of-Time Award décerné par la conférence en 2006 et en 2011.
Publications choisies : lauréat du prix Gödel. : lauréat du prix LICS test-of-time 1996. : lauréat du prix LICS test-of-time 2011. .
Notes et références
Liens externes
Page de Pierre Wolper à l'Academia Europaea.
Catégorie:Personnalité belge de l'informatique Catégorie:Étudiant de l'université Stanford Catégorie:Personnalité en informatique théorique Catégorie:Professeur à l'université de Liège Catégorie:Recteur de l'université de Liège Catégorie:Personnalité liégeoise Wolper Catégorie:Naissance en septembre 1955 Catégorie:Naissance à Liège Catégorie:Lauréat du prix Paris-Kanellakis