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
Belgium (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
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
Amir Pnueli
Jeffrey Ullman
Micha Sharir
Noam Nisan
