Pierre Wolper es un informático belga de la Universidad de Lieja . Sus intereses de investigación incluyen métodos de verificación para programas reactivos y concurrentes, así como bases de datos temporales. [1] Es co-receptor del Premio Gödel 2000 , junto con Moshe Y. Vardi , por su trabajo sobre lógica temporal con autómatas finitos . [2] También recibió el Premio Paris Kanellakis 2005 por este trabajo. [3]
Pierre Wolper | |
---|---|
Nacionalidad | Belga |
Conocido por | Ciencias de la Computación |
Tras las elecciones de octubre de 2018, se convierte en rector de la Universidad de Lieja . [4]
Referencias
- ^ "Pierre Wolper" . Consultado el 13 de julio de 2015 .
- ^ Vardi, Moshe Y .; Wolper, Pierre (1994), "Razonamiento sobre cálculos infinitos" (PDF) , Información y Computación , Boston, MA: Academic Press , 115 (1): 1-37, doi : 10.1006 / inco.1994.1092 , ISSN 0890-5401 , archivado desde el original (PDF) el 2011-08-25
- ^ ACM honores creadores de herramientas de verificación de software, hardware , ACM 15 Mar 2006 , recuperados 12/12/2012
- ^ Pierre Wolper élu recteur de l'Université de Liège , l'Avenir, 11 de octubre de 2018.