| Property |
Value |
| dbo:abstract
|
- Pierre Wolper (* 1955) ist ein belgischer Informatiker. Er ist Professor an der Universität Lüttich (Institut Montefiore).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. 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. Er befasst sich mit algorithmischene Verifikationsmethoden, temporaler Logik und Modellprüfung, Logik und Entscheidungsprozessen, Automatentheorie und mit temporalen Datenbanken. 2000 erhielt er mit Moshe Y. Vardi den Gödel-Preis für Modellprüfung (Model Checking) bei Endlichen Automaten.2005 erhielt er mit Gerard Holzmann, Moshe Vardi und Robert Kurshan den Paris-Kanellakis-Preis für Formale Verifikation reaktiver Systeme. Er ist Mitherausgeber des International Journal on Formal Methods in System Design. Wolper ist Mitglied der Academia Europaea und der Königlich Belgischen Akademie der Wissenschaften (2009). 1998 hatte er die Franqui-Gastprofessur in Namur. (de)
- Pierre Wolper (* 1955) ist ein belgischer Informatiker. Er ist Professor an der Universität Lüttich (Institut Montefiore).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. 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. Er befasst sich mit algorithmischene Verifikationsmethoden, temporaler Logik und Modellprüfung, Logik und Entscheidungsprozessen, Automatentheorie und mit temporalen Datenbanken. 2000 erhielt er mit Moshe Y. Vardi den Gödel-Preis für Modellprüfung (Model Checking) bei Endlichen Automaten.2005 erhielt er mit Gerard Holzmann, Moshe Vardi und Robert Kurshan den Paris-Kanellakis-Preis für Formale Verifikation reaktiver Systeme. Er ist Mitherausgeber des International Journal on Formal Methods in System Design. Wolper ist Mitglied der Academia Europaea und der Königlich Belgischen Akademie der Wissenschaften (2009). 1998 hatte er die Franqui-Gastprofessur in Namur. (de)
|
| dbo:birthDate
| |
| dbo:lccn
| |
| dbo:viafId
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| prop-de:geburtsdatum
| |
| prop-de:gndcheck
| |
| prop-de:gndfehlt
| |
| prop-de:kurzbeschreibung
| |
| prop-de:typ
| |
| dc:description
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Pierre Wolper (* 1955) ist ein belgischer Informatiker. Er ist Professor an der Universität Lüttich (Institut Montefiore).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. 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. (de)
- Pierre Wolper (* 1955) ist ein belgischer Informatiker. Er ist Professor an der Universität Lüttich (Institut Montefiore).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. 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. (de)
|
| rdfs:label
|
- Pierre Wolper (de)
- Pierre Wolper (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:givenName
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- 115037640 (de)
- Wolper, Pierre (de)
- Pierre Wolper
|
| foaf:surname
| |
| is dbo:wikiPageDisambiguates
of | |
| is foaf:primaryTopic
of | |
