Aller au contenu

Pierre WOLPER Ingénieur

Né à Liège, le 21 septembre 1955. Diplômé Ingénieur Civil Electricien (Electronique) 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. 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.

Partager

Conférence de Pierre WOLPER