جان راشبی

جان راشبی (به انگلیسی: John Rushby)؛ یک دانشمند علوم کامپیوتر است.chacs.nrl.navy-درباره جان راشبی، بازدید ۱۳۹۶

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

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

 جوایز 
جان راشبی در سال ۲۰۱۱ جایزه هارلون میلز را از انجمن کامپیوتر 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

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