جان راشبی

جان راشبی (به انگلیسی: John Rushby)؛ یک دانشمند علوم کامپیوتر است.

زندگی و تحصیلات 
جان راشبی در لندن متولد و بزرگ شد. او در مدرسه گرامر دارتفورد تحصیل کرده‌است. سپس برای تحصیل به دانشگاه نیوکاسل رفت و لیسانس خود را در رشته کامپیوتر از این دانشگاه در سال ۱۹۷۱ دریافت کرد. او دکترایش را در این رشته در سال ۱۹۷۷ دریافت کرد.

کار 
جان راشبی بین سال‌های ۱۹۷۴ و ۱۹۷۵ در دپارتمان علوم کامپیوتر دانشگاه منچستر به تدریس درس کامپیوتر اشتغال داشت. او بین سال‌های ۱۹۷۹ تا ۱۹۸۲ به عنوان محقق در دانشگاه نیوکاسل کار کرد
او در سال ۱۹۸۳ به اس‌آرآی اینترنشنال در کالیفرنیا پیوست. او در حال حاضر مدیر برنامه روش‌های صوری و سیستم‌های وابسته است او یک سیستم اثبات پیش‌نمونه با یک اثبات قضیه خودکار را توسعه داده‌است.

جوایز 
جان راشبی در سال ۲۰۱۱ جایزه هارلون میلز را از انجمن کامپیوتر IEEE دریافت کرد.

منابع

پیوند به بیرون 
 https://web.archive.org/web/20171115063443/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://web.archive.org/web/20171215053907/https://channel9.msdn.com/posts/ICSE-2011-John-Rushby-Formal-Methods-Verification-and-Some-Computing-History
 https://web.archive.org/web/20171215054030/https://www.computer.org/web/awards/mills-john-rushby

افراد زنده
دانشمندان رایانه اهل ایالات متحده آمریکا
دانشمندان رایانه اهل بریتانیا
دانش‌آموختگان دانشگاه نیوکاسل
دور از وطن‌های اهل بریتانیا در ایالات متحده آمریکا
زادگان ۱۹۴۹ (میلادی)
ویکی‌سازی رباتیک