FS
Технологии и инженерия

Фред Шнайдер

Поделиться
Кто

Фред Шнайдер · Технологии и инженерия

Что

Шнайдер — специалист по вычислительной технике в Корнельском университете, который вместе с Боуэном Алперном дал этой области строгие формальные определения свойств «безопасности» и «живучести» в параллельных и распределённых системах; эту работу отметили в 2018 году премией Дейкстры.

Когда

1953, United States

Где

United States

Биография

Шнайдер — специалист по вычислительной технике в Корнельском университете, который вместе с Боуэном Алперном дал этой области строгие формальные определения свойств «безопасности» и «живучести» в параллельных и распределённых системах; эту работу отметили в 2018 году премией Дейкстры. Его исследования лежат в основании нынешних подходов к стойкости при отказах и к надёжности вычислений. Еврейский биографический указатель Jinfo числит его среди еврейских лауреатов премии Дейкстры; общедоступные жизнеописания этого не развивают.

Источники и внешние ссылки

Проверьте и углубитесь с помощью этих внешних источников.

Источник: Jinfo.org — Jewish recipients of the Dijkstra Prize

Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.

Достижения и источники

Шнайдер — специалист по вычислительной технике в Корнельском университете, который вместе с Боуэном Алперном дал этой области строгие формальные определения свойств «безопасности» и «живучести» в параллельных и распределённых системах; эту работу отметили в 2018 году премией Дейкстры.

2018

Источник: Jinfo.org — Jewish recipients of the Dijkstra Prize