Bowen Alpern
Bowen Alpern · Technologia i inżynieria
Alpern, amerykański informatyk wymieniany wśród postaci żydowskich w informatyce, napisał wraz z Fredem Schneiderem pracę „Defining Liveness” z 1985 roku, która nadała ścisły sens pojęciom bezpieczeństwa i żywotności leżącym w samym środku poprawności programów.
1952, Hillsboro, Oregon, United States
United States
Alpern, amerykański informatyk wymieniany wśród postaci żydowskich w informatyce, napisał wraz z Fredem Schneiderem pracę „Defining Liveness” z 1985 roku, która nadała ścisły sens pojęciom bezpieczeństwa i żywotności leżącym w samym środku poprawności programów. Ten rozkład stał się podstawą formalnej weryfikacji układów współbieżnych i rozproszonych. On i Schneider otrzymali w 2018 roku Nagrodę Dijkstry.
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ć.
Alpern, amerykański informatyk wymieniany wśród postaci żydowskich w informatyce, napisał wraz z Fredem Schneiderem pracę „Defining Liveness” z 1985 roku, która nadała ścisły sens pojęciom bezpieczeństwa i żywotności leżącym w samym środku poprawności programów.
Źródło: Jinfo.org — Jewish recipients of the Dijkstra Prize
Podobni twórcy
Fred Schneider
