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