stringtranslate.com

John Rushby

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 .

Vida temprana y educación

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]

Carrera

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 .

Premios y membresías

Rushby recibió el premio Harlan D. Mills 2011 de la IEEE Computer Society . [3]

Referencias

  1. ^ abc "Biografía de John Rushby". Centro de sistemas informáticos de alta seguridad, División de tecnología de la información, Laboratorio de investigación naval de los Estados Unidos . Archivado desde el original el 2 de julio de 2001. Consultado el 4 de marzo de 2012 .
  2. ^ Charles (15 de junio de 2011). «ICSE 2011: John Rushby - Métodos formales, verificación y algo de historia de la informática». Canal 9. Consultado el 12 de marzo de 2012 .
  3. ^ "John Rushby: Ganador del premio Harlan D. Mills 2011". IEEE Computer Society . Consultado el 4 de marzo de 2012 .

Enlaces externos