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, États-Unis
États-Unis
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
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
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
