John Rushby
Encyclopedia
John Rushby is a British
computer scientist now based in the United States
.
John Rushby was born and brought up in London
, where he attended Dartford Grammar School
. He studied at the University of Newcastle in the UK
, gaining his computer science
BSc
there in 1971 and his PhD
in 1977.
From 1974 to 1975, he was a lecturer in the Computer Science Department at Manchester University. From 1979 to 1982, he was a research associate in the Department of Computing Science at the University of Newcastle upon Tyne
, before joining SRI International
, California
, USA
in 1983.
Currently he is Program Director for Formal Methods
and Dependable Systems in the Computer Science Laboratory at SRI. He developed the PVS
theorem prover.
He lives in Redwood Shores, part of Redwood City.
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
computer scientist now based in the United States
United States
The United States of America is a federal constitutional republic comprising fifty states and a federal district...
.
John Rushby was born and brought up in London
London
London is the capital city of :England and the :United Kingdom, the largest metropolitan area in the United Kingdom, and the largest urban zone in the European Union by most measures. Located on the River Thames, London has been a major settlement for two millennia, its history going back to its...
, where he attended Dartford Grammar School
Dartford Grammar School
Dartford Grammar School is a selective secondary foundation school for boys in Dartford, Kent, England, which admits girls to its sixth form . All of the students joining the school are from the top 25% of the ability range...
. He studied at the University of Newcastle in the UK
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
, gaining his computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
BSc
BSC
BSC is a three-letter abbreviation that may refer to:Science and technology* Bachelor of Science , an undergraduate degree* Base Station Controller, part of a mobile phone network; see: Base Station subsystem...
there in 1971 and his PhD
PHD
PHD may refer to:*Ph.D., a doctorate of philosophy*Ph.D. , a 1980s British group*PHD finger, a protein sequence*PHD Mountain Software, an outdoor clothing and equipment company*PhD Docbook renderer, an XML renderer...
in 1977.
From 1974 to 1975, he was a lecturer in the Computer Science Department at Manchester University. From 1979 to 1982, he was a research associate in the Department of Computing Science at the University of Newcastle upon Tyne
University of Newcastle upon Tyne
Newcastle University is a major research-intensive university located in Newcastle upon Tyne in the north-east of England. It was established as a School of Medicine and Surgery in 1834 and became the University of Newcastle upon Tyne by an Act of Parliament in August 1963. Newcastle University is...
, before joining SRI International
SRI International
SRI International , founded as Stanford Research Institute, is one of the world's largest contract research institutes. Based in Menlo Park, California, the trustees of Stanford University established it in 1946 as a center of innovation to support economic development in the region. It was later...
, California
California
California is a state located on the West Coast of the United States. It is by far the most populous U.S. state, and the third-largest by land area...
, USA
United States
The United States of America is a federal constitutional republic comprising fifty states and a federal district...
in 1983.
Currently he is Program Director for Formal Methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
and Dependable Systems in the Computer Science Laboratory at SRI. He developed the PVS
Prototype Verification System
The Prototype Verification System is a specification language integrated with support tools and a theorem prover.It was developed at the Computer Science Laboratory of SRI International in California. PVS is based on a kernel consisting of an extension of Church's theory of types with dependent...
theorem prover.
He lives in Redwood Shores, part of Redwood City.