Dans le monde d’aujourd’hui, Pierre Wolper est un sujet qui a retenu l’attention de millions de personnes à travers le monde. Que ce soit en raison de sa pertinence historique, de son impact sur la société moderne ou de son influence sur la culture populaire, Pierre Wolper est devenu une référence dans diverses sphères de la vie quotidienne. Depuis son émergence jusqu'à nos jours, Pierre Wolper a fait l'objet d'études, de débats et d'admiration, ce qui a donné lieu à un large éventail de perspectives et d'opinions sur le sujet. Dans cet article, nous explorerons certaines des facettes les plus importantes de Pierre Wolper et sa signification dans le contexte actuel.
Recteur de l'université de Liège | |
---|---|
- | |
Vice-recteur Université de Liège | |
- |
Naissance | |
---|---|
Nationalité | |
Formation |
Université de Liège (jusqu'en ) Université Stanford (doctorat) (- |
Activités |
A travaillé pour | |
---|---|
Membre de | |
Directeur de thèse | |
Site web | |
Distinctions |
Pierre Wolper, né le à Liège, est un informaticien belge. Il devient le 62e recteur de l'université de Liège (ULiège) le .
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 1er octobre 2022, devenant la première femme recteur à l’ULiège.
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 temporelles. 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.