جان راشبی

جان راشبی (به انگلیسی: John Rushby)؛ یک دانشمند علوم کامپیوتر است.
http://www.csl.sri.com/people/rushby
Official homepage
Personal homepage
https://web.archive.org/web/20010702142457/http://chacs.nrl.navy.mil/ISRE97/rushby.bio
https://channel9.msdn.com/posts/ICSE-2011-John-Rushby-Formal-Methods-Verification-and-Some-Computing-History
https://www.computer.org/web/awards/mills-john-rushby
جان راشبی در لندن متولد و بزرگ شد. او در مدرسه گرامر دارتفورد تحصیل کرده است. سپس برای تحصیل به دانشگاه نیوکاسل رفت و لیسانس خود را در رشته کامپیوتر از این دانشگاه در سال ۱۹۷۱ دریافت کرد. او دکترایش را در این رشته در سال ۱۹۷۷ دریافت کرد.
جان راشبی بین سال های ۱۹۷۴ و ۱۹۷۵ در دپارتمان علوم کامپیوتر دانشگاه منچستر به تدریس درس کامپیوتر اشتغال داشت. او بین سال های ۱۹۷۹ تا ۱۹۸۲ به عنوان محقق در دانشگاه نیوکاسل کار کرداو در سال ۱۹۸۳ به اس آرآی اینترنشنال در کالیفرنیا پیوست. او در حال حاضر مدیر برنامه روش های صوری و سیستم های وابسته است او یک سیستم اثبات پیش نمونه با یک اثبات قضیه خودکار را توسعه داده است.
جان راشبی در سال ۲۰۱۱ جایزه هارلون میلز را از انجمن کامپیوتر IEEE دریافت کرد.