Yahoo Suche Web Suche

Anmelden

Suchergebnisse

  1. Suchergebnisse:

  1. de.wikipedia.org › wiki › Pierre_WolperPierre Wolper – Wikipedia

    Pierre Wolper (* 1955) ist ein belgischer Informatiker und seit 2018 Rektor der Universität Lüttich

  2. people.montefiore.uliege.be › pwPierre Wolper - uliege.be

    Pierre Wolper is Professor Emeritus at the University of Liège Linkedin. Twitter. Wikipedia (French) Wikipedia (English) blog. Contact. Pierre.Wolper@uliege.be

  3. en.wikipedia.org › wiki › Pierre_WolperPierre Wolper - Wikipedia

    Pierre Wolper is a Belgian computer scientist at the University of Liège. His research interests include verification methods for reactive and concurrent programs, as well as temporal databases. He is the co-recipient of the 2000 Gödel Prize, along with Moshe Y. Vardi, for his work on temporal logic with finite automata.

  4. fr.wikipedia.org › wiki › Pierre_WolperPierre Wolper — Wikipédia

    Pierre Wolper, né le 21 septembre 1955 à Liège [1], est un informaticien belge. Il devient le 62 e recteur de l'université de Liège (ULiège) le 23 octobre 2018.

  5. de.wiki.li › Pierre_WolperPierre Wolper - Lebenslauf / Biografie - Wiki

    Pierre Wolper (* 1955) ist ein belgischer Informatiker und seit 2018 Rektor der Universität Lüttich.

  6. www.uliege.be › cms › c_10389440Pierre Wolper's academic career - uliege.be

    9. Mai 2024 · Dean of the Faculty of Applied Sciences since 2015, Pierre Wolper is Professor of Computer Science at the University of Liège.

  7. dblp.org › pid › wdblp: Pierre Wolper

    Pierre Wolper: Constructing Automata from Temporal Logic Formulas: A Tutorial. European Educational Forum: School on Formal Methods and Performance Analysis 2000 : 261-277