Джон Рашби

Джон Рус hby (родился в 1949 г.) - британский ученый-компьютерщик, который сейчас живет в США и работает в SRI International. Ранее он преподавал и проводил исследования в Манчестерском университете, а затем в Университете Ньюкасла.

• 1 Ранние годы и образование
• 2 Карьера
• 3 Награды и членство
• 4 Ссылки
• 5 Внешние ссылки

Джон Рашби родился и вырос в Лондоне, где он учился в Дартфордской гимназии. Он учился в Университете Ньюкасла в Соединенном Королевстве, получил там свою информатику бакалавриат в 1971 году и свою докторскую степень <2.>в 1977 году.

С 1974 по 1975 год он был преподавателем на факультете компьютерных наук в Манчестерском университете. С 1979 по 1982 год он был научным сотрудником Департамента вычислительной техники в Университете Ньюкасла.

Рашби присоединился к SRI International в Менло-Парк, Калифорния в 1983 году. В настоящее время он является программным директором формальных методов и надежных систем в лаборатории компьютерных наук в НИИ. Он разработал систему проверки прототипов, которая является средством доказательства теорем.

Рашби был получателем Харлана Д. Миллса в 2011 г. Награда от Компьютерного общества IEEE.

• Официальная домашняя страница
• Персональная домашняя страница