Pierre Wolper
Pierre Wolper · Tecnología e ingeniería
Wolper, informático belga de origen judío en la Universidad de Lieja, co-desarrolló el enfoque de autómatas para la verificación de modelos (model checking), usando autómatas finitos y lógica temporal para comprobar automáticamente que los sistemas informáticos y de hardware funcionan correctamente.
2000
Bélgica (Liège — University of Liège)
Wolper, informático belga de origen judío en la Universidad de Lieja, co-desarrolló el enfoque de autómatas para la verificación de modelos (model checking), usando autómatas finitos y lógica temporal para comprobar automáticamente que los sistemas informáticos y de hardware funcionan correctamente. Compartió el Premio Gödel en 2000 y más tarde fue rector de su universidad.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — Jewish recipients of the Gödel Prize
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
Wolper, informático belga de origen judío en la Universidad de Lieja, co-desarrolló el enfoque de autómatas para la verificación de modelos (model checking), usando autómatas finitos y lógica temporal para comprobar automáticamente que los sistemas informáticos y de hardware funcionan correctamente.
Fuente: Jinfo.org — Jewish recipients of the Gödel Prize
Contribuidores similares
Moshe Vardi
Noam Nisan
Alan Hoffman
Amir Pnueli
Baruch Awerbuch
