John Rushby

John Rushby (born 1949) is a British computer scientist now based in the United States and working for SRI International.

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] Currently he is Program Director for Formal Methods and Dependable Systems in the Computer Science Laboratory at SRI.

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