John Rushby
John Rushby | |
---|---|
Born | 1949 London, England |
Citizenship |
John Rushby (born 1949) is a British computer scientist now based in the
Manchester University and later Newcastle University
.
Early life and education
John Rushby was born and brought up in
Career
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
Dependable Systems in the Computer Science Laboratory at SRI.[1] He developed the Prototype Verification System, which is a theorem prover
.
Awards and memberships
Rushby was the recipient of the 2011 Harlan D. Mills Award from the IEEE Computer Society.[3]
References
- ^ 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 2 July 2001. Retrieved 4 March 2012.
- ^ Charles (15 June 2011). "ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History". Channel 9. Retrieved 12 March 2012.
- ^ "John Rushby: 2011 Harlan D. Mills Award Recipient". IEEE Computer Society. Retrieved 4 March 2012.