Джон Рашби
Джон Рашби | |
|---|---|
| Рожденный | 1949 Лондон, Англия |
| Гражданство | Британский |
| Альма-матер | Университет Ньюкасла |
| Научная карьера | |
| Поля | Формальные методы и надежные системы |
| Учреждения | Манчестерский университет Университет Ньюкасла НИИ Международный |
Джон Рашби (род. 1949) — британский учёный-компьютерщик, сейчас живущий в США и работающий в SRI International . Ранее он преподавал и проводил исследования в Манчестерском университете , а затем в Университете Ньюкасла .
Ранняя жизнь и образование
[ редактировать ]Джон Рашби родился и вырос в Лондоне , где учился в Дартфордской гимназии . Он учился в Университете Ньюкасла в Великобритании , получил компьютерных наук там степень бакалавра в 1971 году и докторскую степень в 1977 году. [1] [2]
Карьера
[ редактировать ]С 1974 по 1975 год он был преподавателем кафедры компьютерных наук Манчестерского университета . С 1979 по 1982 год он был научным сотрудником кафедры вычислительной техники Университета Ньюкасла .
Рашби присоединился к SRI International в Менло-Парке, Калифорния, в 1983 году. [1] В настоящее время он является директором программы формальных методов и надежных систем в лаборатории компьютерных наук НИИ. [1] Он разработал систему проверки прототипов , которая является средством доказательства теорем .
Награды и членство
[ редактировать ]Рашби был лауреатом премии Харлана Д. Миллса 2011 года от Компьютерного общества IEEE . [3]
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с «Биография Джона Рашби» . Центр высоконадежных компьютерных систем, Отдел информационных технологий, Исследовательская лаборатория ВМС США . Архивировано из оригинала 2 июля 2001 года . Проверено 4 марта 2012 г.
- ^ Чарльз (15 июня 2011 г.). «ICSE 2011: Джон Рашби - формальные методы, проверка и немного истории вычислений» . Канал 9 . Проверено 12 марта 2012 г.
- ^ «Джон Рашби: лауреат премии Харлана Д. Миллса 2011 года» . Компьютерное общество IEEE . Проверено 4 марта 2012 г.
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| академики | |
