FS
Technologie & ingénierie

Fred Schneider

Qui

Fred Schneider · Technologie & ingénierie

Quoi

Schneider est un informaticien de l'université Cornell qui, avec Bowen Alpern, a doté le domaine de définitions formelles rigoureuses des propriétés de « sûreté » et de « vivacité » des systèmes concurrents et distribués, travail récompensé par le prix Dijkstra 2018.

Quand

1953, United States

United States

Biographie

Schneider est un informaticien de l'université Cornell qui, avec Bowen Alpern, a doté le domaine de définitions formelles rigoureuses des propriétés de « sûreté » et de « vivacité » des systèmes concurrents et distribués, travail récompensé par le prix Dijkstra 2018. Ses recherches sous-tendent les approches modernes de la tolérance aux pannes et de l'informatique de confiance. Il figure parmi les lauréats juifs du prix Dijkstra selon l'index biographique juif Jinfo ; les biographies grand public ne détaillent pas davantage son origine.

Sources & liens externes

Vérifiez et approfondissez avec ces références externes.

Source : Jinfo.org — Jewish recipients of the Dijkstra Prize

Contributions et sources

Schneider est un informaticien de l'université Cornell qui, avec Bowen Alpern, a doté le domaine de définitions formelles rigoureuses des propriétés de « sûreté » et de « vivacité » des systèmes concurrents et distribués, travail récompensé par le prix Dijkstra 2018.

2018

Source : Jinfo.org — Jewish recipients of the Dijkstra Prize