John Rushby

John Rushby
Born1949
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 licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.