جان راشبی

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

جان راشبی
زادهٔ	لندن؛ انگلیس
محل زندگی	Redwood Shores, کالیفرنیا
شهروندی	بریتانیایی
محل تحصیل	دانشگاه نیوکاسل
پیشینه علمی
شاخه(ها)	Formal methods and dependable systems
محل کار	دانشگاه منچستر دانشگاه نیوکاسل SRI International

زندگی و تحصیلات

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

کار

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

جوایز

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