www.wikidata.de-de.nina.az

Pierre Wolper 1955 ist ein belgischer Informatiker und seit 2018 Rektor der Universität Lüttich Inhaltsverzeichnis 1 Leb

Pierre Wolper

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

Leben Bearbeiten

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). 1982 bis 1986 war er an den Bell Laboratories angestellt und danach an der Universität Lüttich, wo er Chargée de Cours war und ab 1989 eine volle Professur erhielt. 1998 hatte er die Franqui-Gastprofessur in Namur. 2001 bis 2009 stand er der Fakultät für Elektrotechnik und Informatik (Montefiore Institut) vor. 2009 wurde er Vize-Rektor für Forschung der Universität; seit 2018 ist er Rektor der Universität Lüttich.

Er befasst sich mit algorithmischene Verifikationsmethoden, temporaler Logik und Modellprüfung, Logik und Entscheidungsprozessen, Automatentheorie und mit temporalen Datenbanken.

Er ist Mitherausgeber des International Journal on Formal Methods in System Design. Wolper ist Mitglied der Academia Europaea (2012) und der Königlichen Akademie der Wissenschaften und Schönen Künste von Belgien (2009).

Ehrungen und Auszeichnungen Bearbeiten

Schriften Bearbeiten

  • mit Moshe Vardi Reasoning about infinite computations, Information and Computation, Academic Press, Band 115, 1994, S. 1–37 (erhielt den Gödelpreis)
  • mit Vardi An Automata-Theoretic Approach to Automatic Program Verification, Proceedings of the First Symposium on Logic in Computer Science, Cambridge 1986, S. 322–331 (erhielt den LICS test-of-time award 1996)
  • Introduction à la calculabilité: cours et exercices corrigés, Paris, Dunod, 2006.
  • mit Patrice Godefroid A partial approach to model checking, Proc. 6th Symp. on Logic in Computer Science, Amsterdam 1991, S. 406–415 (erhielt den LICS Test-of-time award 2011)
  • Temporal logic can be more expressive, Information and Control, 56, 1983, S. 72–99
  • mit Rob Gerth, Doron Peled, Moshe Y. Vardi Simple on-the-fly automatic verification of linear temporal logic, In Proc. 15th Work. Protocol Specification, Testing, and Verification, Warschau, Juni 1995.

Weblinks Bearbeiten

Einzelnachweise Bearbeiten

  1. Pierre Wolper im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
  2. Eintrag auf der Internetseite der Academia Europaea
Personendaten
NAME Wolper, Pierre
KURZBESCHREIBUNG belgischer Informatiker
GEBURTSDATUM 1955
wikipedia, wiki, deutsches, deutschland, buch, bücher, bibliothek artikel lesen, herunterladen kostenlos kostenloser herunterladen, MP3, Video, MP4, 3GP, JPG, JPEG, GIF, PNG, Bild, Musik, Lied, Film, Buch, Spiel, Spiele
Veröffentlichungsdatum:
Pierre Wolper 1955 ist ein belgischer Informatiker und seit 2018 Rektor der Universitat Luttich Inhaltsverzeichnis 1 Leben 2 Ehrungen und Auszeichnungen 3 Schriften 4 Weblinks 5 EinzelnachweiseLeben BearbeitenWolper erhielt 1978 seinen Abschluss als Elektroingenieur an der Universitat Luttich und wurde 1982 an der Stanford University bei Zohar Manna promoviert Synthesis of communicating processes from temporal logic specifications 1 1982 bis 1986 war er an den Bell Laboratories angestellt und danach an der Universitat Luttich wo er Chargee de Cours war und ab 1989 eine volle Professur erhielt 1998 hatte er die Franqui Gastprofessur in Namur 2001 bis 2009 stand er der Fakultat fur Elektrotechnik und Informatik Montefiore Institut vor 2009 wurde er Vize Rektor fur Forschung der Universitat seit 2018 ist er Rektor der Universitat Luttich Er befasst sich mit algorithmischene Verifikationsmethoden temporaler Logik und Modellprufung Logik und Entscheidungsprozessen Automatentheorie und mit temporalen Datenbanken Er ist Mitherausgeber des International Journal on Formal Methods in System Design Wolper ist Mitglied der Academia Europaea 2012 2 und der Koniglichen Akademie der Wissenschaften und Schonen Kunste von Belgien 2009 Ehrungen und Auszeichnungen Bearbeiten2000 Godel Preis fur Modellprufung Model Checking bei Endlichen Automaten zusammen mit Moshe Y Vardi 2005 Paris Kanellakis Preis fur Formale Verifikation reaktiver Systeme zusammen mit Gerard Holzmann Moshe Vardi und Robert KurshanSchriften Bearbeitenmit Moshe Vardi Reasoning about infinite computations Information and Computation Academic Press Band 115 1994 S 1 37 erhielt den Godelpreis mit Vardi An Automata Theoretic Approach to Automatic Program Verification Proceedings of the First Symposium on Logic in Computer Science Cambridge 1986 S 322 331 erhielt den LICS test of time award 1996 Introduction a la calculabilite cours et exercices corriges Paris Dunod 2006 mit Patrice Godefroid A partial approach to model checking Proc 6th Symp on Logic in Computer Science Amsterdam 1991 S 406 415 erhielt den LICS Test of time award 2011 Temporal logic can be more expressive Information and Control 56 1983 S 72 99 mit Rob Gerth Doron Peled Moshe Y Vardi Simple on the fly automatic verification of linear temporal logic In Proc 15th Work Protocol Specification Testing and Verification Warschau Juni 1995 Weblinks BearbeitenHomepage Webseite bei der Academia Europaea mit CVEinzelnachweise Bearbeiten Pierre Wolper im Mathematics Genealogy Project englisch Vorlage MathGenealogyProject Wartung id verwendet Eintrag auf der Internetseite der Academia EuropaeaNormdaten Person LCCN n86819367 VIAF 27117997 Wikipedia Personensuche Kein GND Personendatensatz Letzte Uberprufung 2 Februar 2018 GND Namenseintrag 115037640 AKS PersonendatenNAME Wolper PierreKURZBESCHREIBUNG belgischer InformatikerGEBURTSDATUM 1955 Abgerufen von https de wikipedia org w index php title Pierre Wolper amp oldid 221074752