John Rushby (born 1949) is a British computer scientist now based in the

United States The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country primarily located in North America. It consists of 50 U.S. state, states, a Washington, D.C., federal district, five ma ...

and working for

SRI International SRI International (SRI) is an American nonprofit organization, nonprofit scientific research, scientific research institute and organization headquartered in Menlo Park, California. The trustees of Stanford University established SRI in 1946 as ...

. He previously taught and did research for

Manchester University , mottoeng = Knowledge, Wisdom, Humanity , established = 2004 – University of Manchester Predecessor institutions: 1956 – UMIST (as university college; university 1994) 1904 – Victoria University of Manchester 1880 – Victoria Unive ...

and later

Newcastle University Newcastle University (legally the University of Newcastle upon Tyne) is a UK public research university based in Newcastle upon Tyne, North East England. It has overseas campuses in Singapore and Malaysia. The university is a red brick unive ...

Early life and education

John Rushby was born and brought up in

London London is the capital and List of urban areas in the United Kingdom, largest city of England and the United Kingdom, with a population of just under 9 million. It stands on the River Thames in south-east England at the head of a estuary dow ...

, where he attended

Dartford Grammar School Dartford Grammar School is a selective secondary (ages 11–19) foundation school for boys in Dartford, Kent, England, which admits girls to its sixth form (ages 16–18). All of the students joining the school are considered to be from the top ...

. He studied at

in the

United Kingdom The United Kingdom of Great Britain and Northern Ireland, commonly known as the United Kingdom (UK) or Britain, is a country in Europe, off the north-western coast of the European mainland, continental mainland. It comprises England, Scotlan ...

, gaining his

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...

BSc A Bachelor of Science (BS, BSc, SB, or ScB; from the Latin ') is a bachelor's degree awarded for programs that generally last three to five years. The first university to admit a student to the degree of Bachelor of Science was the University of ...

there in 1971 and his

PhD PHD or PhD may refer to: * Doctor of Philosophy (PhD), an academic qualification Entertainment * '' PhD: Phantasy Degree'', a Korean comic series * ''Piled Higher and Deeper ''Piled Higher and Deeper'' (also known as ''PhD Comics''), is a newsp ...

in 1977.

Career

From 1974 to 1975, he was a lecturer in the Computer Science Department at

. From 1979 to 1982, he was a research associate in the Department of Computing Science at the

. Rushby joined

Menlo Park, California Menlo Park is a city at the eastern edge of San Mateo County within the San Francisco Bay Area of California in the United States. It is bordered by San Francisco Bay on the north and east; East Palo Alto, Palo Alto, and Stanford to the so ...

in 1983. Currently he is Program Director for ''

Formal Methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...

and Dependable Systems'' in the Computer Science Laboratory at SRI. He developed the

Prototype Verification System The Prototype Verification System (PVS) is a specification language integrated with support tools and an automated theorem prover, developed at the Computer Science Laboratory of SRI International in Menlo Park, California. PVS is based on a kern ...

, which is a theorem prover.

Awards and memberships

Rushby was the recipient of the 2011 Harlan D. Mills Award from the

IEEE Computer Society The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operati ...

References

External links

Official homepagePersonal homepage
{{DEFAULTSORT:Rushby, John Living people British computer scientists American computer scientists Formal methods people Alumni of Newcastle University British expatriates in the United States SRI International people People educated at Dartford Grammar School 1949 births