Suchergebnisse
Suchergebnisse:
Pierre Wolper (* 1955) ist ein belgischer Informatiker und seit 2018 Rektor der Universität Lüttich . Inhaltsverzeichnis. 1 Leben. 2 Ehrungen und Auszeichnungen. 3 Schriften. 4 Weblinks. 5 Einzelnachweise. Leben.
23. Apr. 2023 · Pierre Wolper is Professor Emeritus at the University of Liège. Linkedin. Twitter. Wikipedia (French) Wikipedia (English) blog. Contact. Pierre.Wolper@uliege.be.
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.
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.
Pierre Wolper (* 1955) ist ein belgischer Informatiker und seit 2018 Rektor der Universität Lüttich. Leben Wolper erhielt 1978 seinen Abschluss als Elektroingenieur an der Universität Lüttich und wurde 1982 an der Stanford University bei Zohar Manna promoviert (Synthesis of communicating processes from temporal logic specifications).
An effective decision procedure for linear arithmetic over the integers and reals. ACM Trans. Comput. Log. 6 ( 3): 614-633 ( 2005) [c46] Axel Legay, Pierre Wolper: On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. MTCoord@COORDINATION 2005: 3-8.
Le mandat de Pierre Wolper a été marqué par la pandémie de SARS-CoV-2 (Covid-19). Il donne à l’Université une devise, SCIENTIA OPTIMVM (« L’excellence par la science »), et veut simplifier et alléger les procédures pour libérer le travail de la recherche et de l’enseignement. La réforme du Décret Paysage, adoptée durant la période de son mandat, entre en vigueur au début ...
