Fred Schneider
Fred Schneider · Technology & Engineering
Formalized safety and liveness in concurrent systems; Dijkstra Prize (2018)
1953, United States
United States
Fred Schneider is recognized among Jewish contributors to Technology & Engineering — Formalized safety and liveness in concurrent systems; Dijkstra Prize (2018)
Schneider is a computer scientist at Cornell University who, with Bowen Alpern, gave the field its rigorous formal definitions of 'safety' and 'liveness' properties in concurrent and distributed systems, work honoured with the 2018 Dijkstra Prize. His research underpins modern approaches to fault tolerance and trustworthy computing. He is listed among Jewish recipients of the Dijkstra Prize by the Jewish biographical index Jinfo; mainstream biographies do not detail his background further.
Verify and go deeper with these external references.
Source: Jinfo.org — Jewish recipients of the Dijkstra Prize
This page is published in seven languages from an English source. The translations are reviewed, but a mistake can still slip through. If you spot one on this profile — a wrong word, a lost date, a sentence that says something the English does not — please tell us.
Formalized safety and liveness in concurrent systems; Dijkstra Prize (2018)
Source: Jinfo.org — Jewish recipients of the Dijkstra Prize
Similar Contributors
Bowen Alpern
Alon Itai
