John Rushby
 |
This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. Please improve this article by introducing more precise citations. (October 2009) |
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.
[edit] References
- "John Rushby Bio". Center for High Assurance Computer Systems, a branch within the Information Technology Division of the US Naval Research Laboratory. http://chacs.nrl.navy.mil/ISRE97/rushby.bio. Retrieved 2008-04-01.[dead link]
[edit] External links
 |
This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it. |
