John Rushby

John Rushby
Born1949 (age 76–77)
London, England
CitizenshipBritish
Alma materNewcastle University
Scientific career
FieldsFormal methods and dependable systems
InstitutionsManchester University
Newcastle University
SRI International

John Rushby (born 1949) is a British computer scientist now based in the United States and working for SRI International. He previously taught and did research for Manchester University and later Newcastle University.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.