stringtranslate.com

Джон Рашби

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

Ранняя жизнь и образование

Джон Рашби родился и вырос в Лондоне , где он учился в Dartford Grammar School . Он учился в Newcastle University в Соединенном Королевстве , получив степень бакалавра компьютерных наук в 1971 году и степень доктора философии в 1977 году. [1] [2]

Карьера

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

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

Награды и членство

Рашби был удостоен премии Харлана Д. Миллса 2011 года от IEEE Computer Society . [3]

Ссылки

  1. ^ abc "John Rushby Bio". Центр высоконадежных компьютерных систем, Отдел информационных технологий, Научно-исследовательская лаборатория ВМС США . Архивировано из оригинала 2 июля 2001 г. Получено 4 марта 2012 г.
  2. ↑ Чарльз (15 июня 2011 г.). «ICSE 2011: Джон Рашби — Формальные методы, проверка и некоторая история вычислений». Канал 9. Получено 12 марта 2012 г.
  3. ^ "Джон Рашби: Лауреат премии Харлана Д. Миллса 2011 года". IEEE Computer Society . Получено 4 марта 2012 г.

Внешние ссылки