| Nascita | 21 settembre 1955 |
|---|---|
| Nazionalità | belga |
| le zone | informatica |
| Istituzioni |
Bell Laboratories (1982-1986) professore all'Università di Liegi (dal 1989) direttore dell'Istituto Montefiore (2001-2009) |
| Diploma | Ph. D. |
| Formazione |
ingegnere elettrico presso l' Università di Liegi (1978) PhD presso la Stanford University (1982) |
| Supervisore | Zohar Manna |
| Studenti di dottorato | Bernard Boigelot |
| Rinomato per la | logica temporale , controllo dei modelli , teoria degli automi , database temporali |
| Premi |
Premio Gödel (2000) Premio Paris Kanellakis (2005) Premio LICS Test-of-Time (2006) e (2011) |
| Luogo | http://www.montefiore.ulg.ac.be/~pw/ |
Pierre Wolper , nato il21 settembre 1955a Liegi , è uno specialista informatico belga . E 'diventato il 62 ° rettore della Università di Liegi (ULiège) su23 ottobre 2018.
Pierre Wolper ha terminato i suoi studi in ingegneria elettrica nel 1978 presso l' Università di Liegi e ha ottenuto un dottorato ( Ph. D. ) nel 1982 presso l' Università di Stanford con Zohar Manna , con una tesi dal titolo Sintesi dei processi di comunicazione dalla logica temporale . Dal 1982 al 1986 ha lavorato presso i Bell Laboratories e poi presso l' Università di Liegi , dove è stato prima docente e professore ordinario dal 1989. Dal 2001 al 2009 ha diretto il dipartimento di elettricità, elettronica e informatica ( Istituto Montefiore ). Dal 2009 al 2014 è stato vicerettore per la ricerca presso l' Università di Liegi . Nel 2015 è diventato Preside della Facoltà di Scienze Applicate, prima di essere eletto nel 2018 Rettore dell'Università di Liegi.
La sua ricerca si concentra, tra le altre cose, sui metodi di verifica dei programmi reattivi e concorrenti, sulla logica temporale , sul controllo dei modelli , sulla teoria degli automi e sui database temporali. Pierre Wolper è l'autore di un libro didattico dal titolo Introduzione alla calcolabilità .
È membro del comitato editoriale della rivista Formal Methods in System Design e della rivista ad accesso libero Logical Methods in Computer Science . È membro dell'Academia Europaea e membro della Royal Academy of Sciences, Letters and Fine Arts of Belgium dal 2009.