John Rushby (nacido en 1949) es un informático británico que actualmente reside en Estados Unidos y trabaja para SRI International . Anteriormente enseñó e investigó en la Universidad de Manchester y, más tarde, en la Universidad de Newcastle .
John Rushby nació y creció en Londres , donde asistió a la Dartford Grammar School . Estudió en la Universidad de Newcastle en el Reino Unido , donde obtuvo su licenciatura en informática en 1971 y su doctorado en 1977. [1] [2]
De 1974 a 1975 fue profesor en el Departamento de Ciencias de la Computación de la Universidad de Manchester . De 1979 a 1982 fue investigador asociado en el Departamento de Ciencias de la Computación de la Universidad de Newcastle .
Rushby se unió a SRI International en Menlo Park, California en 1983. [1] Actualmente es Director del Programa de Métodos Formales y Sistemas Confiables en el Laboratorio de Ciencias de la Computación en SRI. [1] Desarrolló el Sistema de Verificación de Prototipos , que es un demostrador de teoremas .
Rushby recibió el premio Harlan D. Mills 2011 de la IEEE Computer Society . [3]