John Rushby

From Wikipedia, the free encyclopedia
Jump to: navigation, search
John Rushby
Born London, England
Residence Redwood Shores, California
Citizenship British
Fields Formal methods and dependable systems

Manchester University
Newcastle University

SRI International
Alma mater Newcastle University

John Rushby 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.

Early life and education[edit]

John Rushby was born and brought up in London, where he attended Dartford Grammar School. He studied at Newcastle University in the United Kingdom, gaining his computer science BSc there in 1971 and his PhD in 1977.[1][2]


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 Newcastle University.

Rushby joined SRI International in Menlo Park, California in 1983.[1] Currently he is Program Director for Formal Methods and Dependable Systems in the Computer Science Laboratory at SRI.[1] He developed the Prototype Verification System, which is a theorem prover.

Awards and memberships[edit]

Rushby was the recipient of the 2011 Harlan D. Mills Award from the IEEE Computer Society.[3]


  1. ^ a b c "John Rushby Bio". Center for High Assurance Computer Systems, Information Technology Division, United States Naval Research Laboratory. Archived from the original on 2001-07-02. Retrieved 2012-03-04. 
  2. ^ "ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History". Channel 9. 15 Jun 2011. Retrieved 12 March 2012.  |first1= missing |last1= in Authors list (help)
  3. ^ "John Rushby: 2011 Harlan D. Mills Award Recipient". IEEE Computer Society. Retrieved 2012-03-04. 

External links[edit]