Bowen Alpern
Bowen Alpern · Technologie & ingénierie
Alpern, informaticien américain recensé parmi les figures juives de l'informatique, coécrivit avec Fred Schneider l'article de 1985 « Defining Liveness », qui donna un sens rigoureux aux notions de sûreté et de vivacité au cœur de la correction des programmes.
1952, Hillsboro, Oregon, United States
United States
Alpern, informaticien américain recensé parmi les figures juives de l'informatique, coécrivit avec Fred Schneider l'article de 1985 « Defining Liveness », qui donna un sens rigoureux aux notions de sûreté et de vivacité au cœur de la correction des programmes. Cette décomposition devint fondatrice de la vérification formelle des systèmes concurrents et distribués. Lui et Schneider reçurent le prix Dijkstra 2018.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — Jewish recipients of the Dijkstra Prize
Alpern, informaticien américain recensé parmi les figures juives de l'informatique, coécrivit avec Fred Schneider l'article de 1985 « Defining Liveness », qui donna un sens rigoureux aux notions de sûreté et de vivacité au cœur de la correction des programmes.
Source : Jinfo.org — Jewish recipients of the Dijkstra Prize
Contributeurs similaires
Fred Schneider
Oded Regev
Philip Spira
