جان راشبی (به انگلیسی: John Rushby)؛ یک دانشمند علوم کامپیوتر است.http://www.csl.sri.com/people/rushbyOfficial homepagePersonal homepagehttps://web.archive.org/web/20010702142457/http://chacs.nrl.navy.mil/ISRE97/rushby.biohttps://channel9.msdn.com/posts/ICSE-2011-John-Rushby-Formal-Methods-Verification-and-Some-Computing-Historyhttps://www.computer.org/web/awards/mills-john-rushbyجان راشبی در لندن...