Pierre Wolper

Pierre Wolper
une illustration sous licence libre serait bienvenue
Fonctions
Recteur de l'université de Liège
-
Albert Corhay
Anne-Sophie Nyssen
Vice-recteur
Université de Liège
-
Biographie
Naissance
Voir et modifier les données sur Wikidata (68 ans)
LiègeVoir et modifier les données sur Wikidata
Nationalité
belgeVoir et modifier les données sur Wikidata
Formation
Université de Liège (jusqu'en )
Université Stanford (doctorat) (-)Voir et modifier les données sur Wikidata
Activités
Professeur d'université (-), informaticienVoir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Institut Montefiore (-)
Laboratoires Bell (-)
Université de LiègeVoir et modifier les données sur Wikidata
Membre de
Academia Europaea ()Voir et modifier les données sur Wikidata
Directeur de thèse
Site web
www.montefiore.ulg.ac.be/~pwVoir et modifier les données sur Wikidata
Distinctions

modifier - modifier le code - modifier WikidataDocumentation du modèle

Pierre Wolper, né le à Liège[1], est un informaticien belge. Il devient le 62e 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[2]. 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[3]. Anne-Sophie Nyssen lui succède à ce poste le 1er octobre 2022, 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 temporelles[4]. Pierre Wolper est auteur d'un livre d'enseignement intitulé Introduction à la calculabilité[5].

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[6].
  • 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[7] décerné par la conférence Logic in Computer Science (en) en 2006 et en 2011.

Publications choisies

  • Moshe Y. Vardi et Pierre Wolper, « Reasoning about infinite computations », Information and Computation, Boston, MA, Academic Press, vol. 115, no 1,‎ , p. 1–37 (ISSN 0890-5401, DOI 10.1006/inco.1994.1092, lire en ligne [archive du ]) : lauréat du prix Gödel.
  • Moshe Vardi et Pierre Wolper, « An Automata-Theoretic Approach to Automatic Program Verification », dans Proceedings of the First Symposium on Logic in Computer Science, Cambridge, , p. 322-331 : lauréat du prix LICS test-of-time 1996.
  • Patrice Godefroid et Pierre Wolper, « A partial approach to model checking », dans Proceedings of the Sixth Symposium on Logic in Computer Science, Amsterdam, , p. 406-415 : lauréat du prix LICS test-of-time 2011.
  • Pierre Wolper, Introduction à la calculabilité : cours et exercices corrigés, Paris, Dunod, , 224 p. (ISBN 2-10-049981-5).

Notes et références

(de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Pierre Wolper » (voir la liste des auteurs).
  1. ↑ « Conférenciers : Pierre WOLPER – lacademie.tv », sur lacademie.tv (consulté le )
  2. ↑ (en) « Pierre Wolper », sur le site du Mathematics Genealogy Project.
  3. ↑ « Pierre Wolper, nouveau recteur de l'Université de Liège », sur www.rtc.be, (consulté le )
  4. ↑ Page personnelle de Pierre Wolper à l'université de Liège.
  5. ↑ Wolper 2006.
  6. ↑ Vardi et Wolper 1994.
  7. ↑ LIcS test-of-time award


Liens externes

  • Site officielVoir et modifier les données sur Wikidata
  • Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
    • Digital Bibliography & Library Project
    • Google Scholar
    • Mathematics Genealogy Project
    • ORCID
  • Notices d'autoritéVoir et modifier les données sur Wikidata :
    • VIAF
    • ISNI
    • BnF (données)
    • IdRef
    • LCCN
    • CiNii
    • Belgique
    • Pays-Bas
    • Israël
    • NUKAT
    • Norvège
    • WorldCat
  • Page de Pierre Wolper à l'Academia Europaea.
Voir ce modèle.
Précédé par Suivi par
Albert Corhay
Logo de l'université de Liège
Pierre Wolper
2018 – 2022
Anne-Sophie Nyssen
v · m
Recteurs de l'université de Liège
XIXe siècle
XXe siècle
XXIe siècle
v · m
Lauréats du prix Gödel
v · m
  • icône décorative Portail de l'informatique théorique
  • icône décorative Portail de Liège