Geburt | 21. September 1955 |
---|---|
Staatsangehörigkeit | Belgier |
Bereiche | Informatik |
Institutionen |
Professor der Bell Laboratories (1982-1986) an der Universität Lüttich (seit 1989) Direktor des Montefiore-Instituts (2001-2009) |
Diplom | Ph. D. |
Ausbildung |
Elektrotechniker an der Universität Lüttich (1978) Promotion an der Stanford University (1982) |
Supervisor | Zohar Manna |
Doktoranden | Bernard Boigelot |
Bekannt für | zeitliche Logik , Modellprüfung , Automatentheorie , zeitliche Datenbanken |
Auszeichnungen |
Gödel-Preis (2000) Paris Kanellakis-Preis (2005) LICS Test-of-Time Award (2006) und (2011) |
Seite? ˅ | http://www.montefiore.ulg.ac.be/~pw/ |
Pierre Wolper , geboren am21. September 1955in Lüttich ist ein belgischer IT-Spezialist . Er wurde der 62 nd Rektor der Universität Lüttich (ULiège) auf23. Oktober 2018.
Pierre Wolper schloss sein Studium der Elektrotechnik 1978 an der Universität Lüttich ab und promovierte 1982 an der Stanford University bei Zohar Manna mit der Dissertation Synthese von Kommunikationsprozessen aus zeitlichen Logikspezifikationen . Von 1982 bis 1986 arbeitete er an den Bell Laboratories und dann an der Universität von Lüttich , wo er von 1989 zunächst als Dozent und ordentlicher Professor tätig war. Von 2001 bis 2009 leitete er die Abteilung für Elektrizität, Elektronik und IT ( Montefiore Institute ). Von 2009 bis 2014 war er Vizerektor für Forschung an der Universität Lüttich . 2015 wurde er Dekan der Fakultät für Angewandte Wissenschaften, bevor er 2018 zum Rektor der Universität Lüttich gewählt wurde.
Seine Forschung konzentriert sich unter anderem auf Methoden zur Überprüfung reaktiver und gleichzeitiger Programme, zeitliche Logik , Modellprüfung , Automatentheorie sowie zeitliche Datenbanken . Pierre Wolper ist Autor eines Lehrbuchs mit dem Titel Einführung in die Berechenbarkeit .
Er ist Mitglied der Redaktion der Zeitschrift Formal Methods in System Design und der Open-Access-Zeitschrift Logical Methods in Computer Science . Er ist Mitglied der Academia Europaea und seit 2009 Mitglied der Königlichen Akademie der Wissenschaften, Briefe und bildenden Künste Belgiens .