Bowen Alpern
Bowen Alpern · Технологии и инженерия
Алперн, американский специалист по вычислительной технике, числящийся среди еврейских деятелей этой области, написал вместе с Фредом Шнайдером работу «Defining Liveness» (1985), придавшую строгий смысл понятиям безопасности и живучести, лежащим в самой сердцевине правильности программ.
1952, Hillsboro, Oregon, United States
United States
Алперн, американский специалист по вычислительной технике, числящийся среди еврейских деятелей этой области, написал вместе с Фредом Шнайдером работу «Defining Liveness» (1985), придавшую строгий смысл понятиям безопасности и живучести, лежащим в самой сердцевине правильности программ. Это разложение стало основанием формальной проверки параллельных и распределённых систем. Он и Шнайдер получили в 2018 году премию Дейкстры.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — Jewish recipients of the Dijkstra Prize
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Алперн, американский специалист по вычислительной технике, числящийся среди еврейских деятелей этой области, написал вместе с Фредом Шнайдером работу «Defining Liveness» (1985), придавшую строгий смысл понятиям безопасности и живучести, лежащим в самой сердцевине правильности программ.
Источник: Jinfo.org — Jewish recipients of the Dijkstra Prize
Похожие деятели
Fred Schneider
