Bowen Alpern
Bowen Alpern · Technology & Engineering
Co-authored 'Defining Liveness', the formal basis of program correctness; Dijkstra Prize (2018)
1952, Hillsboro, Oregon, United States
United States
Bowen Alpern is recognized among Jewish contributors to Technology & Engineering — Co-authored 'Defining Liveness', the formal basis of program correctness; Dijkstra Prize (2018)
Alpern, an American computer scientist listed among Jewish figures in computing, co-authored with Fred Schneider the 1985 paper 'Defining Liveness', which gave rigorous meaning to the notions of safety and liveness at the heart of program correctness. That decomposition became foundational to the formal verification of concurrent and distributed systems. He and Schneider received the 2018 Dijkstra Prize.
Verify and go deeper with these external references.
Source: Jinfo.org — Jewish recipients of the Dijkstra Prize
Co-authored 'Defining Liveness', the formal basis of program correctness; Dijkstra Prize (2018)
Source: Jinfo.org — Jewish recipients of the Dijkstra Prize
Similar Contributors
Fred Schneider
Oded Regev
Philip Spira
