Fred Schneider
Fred Schneider · Technologia i inżynieria
Schneider jest informatykiem na Uniwersytecie Cornella, który wraz z Bowenem Alpernem dał tej dziedzinie ścisłe formalne określenia własności „bezpieczeństwa” i „żywotności” w układach współbieżnych i rozproszonych; pracę tę uhonorowano w 2018 roku Nagrodą Dijkstry.
1953, United States
United States
Schneider jest informatykiem na Uniwersytecie Cornella, który wraz z Bowenem Alpernem dał tej dziedzinie ścisłe formalne określenia własności „bezpieczeństwa” i „żywotności” w układach współbieżnych i rozproszonych; pracę tę uhonorowano w 2018 roku Nagrodą Dijkstry. Jego badania leżą u podstaw dzisiejszych sposobów zapewniania odporności na awarie i wiarygodności obliczeń. Żydowski indeks biograficzny Jinfo wymienia go wśród żydowskich laureatów Nagrody Dijkstry; powszechnie dostępne biografie nie rozwijają tego wątku.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jewish recipients of the Dijkstra Prize
Ta strona ukazuje się w siedmiu językach na podstawie źródła angielskiego. Tłumaczenia są sprawdzane, ale błąd może się prześlizgnąć. Jeśli zauważysz go na tej stronie — błędne słowo, zgubioną datę, zdanie mówiące coś, czego nie ma w angielskim — daj nam znać.
Schneider jest informatykiem na Uniwersytecie Cornella, który wraz z Bowenem Alpernem dał tej dziedzinie ścisłe formalne określenia własności „bezpieczeństwa” i „żywotności” w układach współbieżnych i rozproszonych; pracę tę uhonorowano w 2018 roku Nagrodą Dijkstry.
Źródło: Jinfo.org — Jewish recipients of the Dijkstra Prize
Podobni twórcy
Bowen Alpern
Alon Itai
