John Rushby
From Wikipedia, the free encyclopedia
John Rusby is a computer scientist.
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. He is at SRI International in California, USA, where he is Program Director for Formal Methods and Dependable Systems in the Computer Science Laboratory. He developed the PVS theorem prover.
He lives in Redwood Shores, part of Redwood City.
[edit] External links
 |
This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it. |
