Pierre Wolper
21/09/1955
Né à Liège le 21 septembre 1955.
Membre titulaire de la Classe Technologie et Société. Élu membre le 29 mai 2009.
Diplômé Ingénieur civil électricien (électronique) de l'Université de Liège en 1978, Pierre Wolper obtient le titre de Doctor of Philosophy in Computer Science, en 1982, à Stanford University (USA). Il poursuit sa carrière en travaillant comme chercheur au Computer Technology Research Laboratory de AT\&T Bell Laboratories aux USA jusqu'en 1986. Depuis, il enseigne à l'Université de Liège, d'abord en tant que chargé de cours et, depuis 1989, comme professeur ordinaire. De 2001 à 2009, il a été président du département d’électricité électronique et informatique de l’Université de Liège, vice-recteur à la recherche de 2009 à 2014 et, depuis octobre 2015, doyen de la Faculté des Sciences Appliquées. Il a été recteur de l'Université de Liège de 2018 à 2022. Il est aujourd'hui professeur ordinaire émérite de ladite université.
Ses recherches concernent les méthodes d'analyse et de vérification du logiciel et leurs fondements théoriques. En particulier, l'utilisation des automates pour le traitement des propriétés temporelles, ainsi que des contraintes arithmétiques. En 2000, Pierre Wolper a reçu le “Gödel Prize for outstanding papers in the area of theoretical computer science”, en 2005 il est récipiendaire du “ACM Kanellakis Theory and Practice award” et en 2006 du “Test-of-Time Award of the Symposium on Logic in Computer Science”. En 2009, Pierre Wolper a été élu membre de la classe“Technologie et Société” de l’Académie Royale deBelgique et, en 2012, de la section informatique de Academia Europaea.
Entretien (Lettre d'information n° 86, mars 2014)
|
|
