WikiDer > Jon Rushbi
Jon Rushbi | |
|---|---|
| Tug'ilgan | 1949 London, Angliya |
| Fuqarolik | Inglizlar |
| Olma mater | Nyukasl universiteti |
| Ilmiy martaba | |
| Maydonlar | Rasmiy usullar va ishonchli tizimlar |
| Institutlar | Manchester universiteti Nyukasl universiteti Xalqaro SRI |
Jon Rushbi (1949 yilda tug'ilgan) a Inglizlar hozirda asoslangan kompyuter olimi Qo'shma Shtatlar va uchun ishlaydi Xalqaro SRI. U ilgari dars bergan va tadqiqot olib borgan Manchester universiteti va keyinroq Nyukasl universiteti.
Dastlabki hayot va ta'lim
Jon Rushbi tug'ilib o'sgan London, u qaerda qatnashgan Dartford grammatika maktabi. U o'qigan Nyukasl universiteti ichida Birlashgan Qirollik, unga ega bo'lish Kompyuter fanlari BSc u erda 1971 yilda va uning PhD 1977 yilda.[1][2]
Karyera
1974 yildan 1975 yilgacha u Informatika kafedrasida o'qituvchi bo'lgan Manchester universiteti. 1979 yildan 1982 yilgacha u Kompyuter fanlari kafedrasida ilmiy xodim Nyukasl universiteti.
Rushbi qo'shildi Xalqaro SRI yilda Menlo Park, Kaliforniya 1983 yilda.[1] Hozirda u dastur direktori Rasmiy usullar va Ishonchli tizimlar SRI qoshidagi kompyuter fanlari laboratoriyasida.[1] U ishlab chiqardi Prototipni tekshirish tizimi, bu a teorema prover.
Mukofotlar va a'zolik
Rushby 2011-yilgi oluvchi edi Xarlan D. Mills Mukofoti IEEE Kompyuter Jamiyati.[3]
Adabiyotlar
- ^ a b v "Jon Rushbi Bio". Kompyuter tizimlarini yuqori ishonchliligi markazi, Axborot texnologiyalari bo'limi, Amerika Qo'shma Shtatlarining dengiz tadqiqot laboratoriyasi. Arxivlandi asl nusxasi 2001 yil 2-iyulda. Olingan 4 mart 2012.
- ^ Charlz (2011 yil 15-iyun). "ICSE 2011: Jon Rushbi - rasmiy usullar, tasdiqlash va ba'zi hisoblash tarixi". 9-kanal. Olingan 12 mart 2012.
- ^ "Jon Rushbi: 2011 yil Harlan D. Mills mukofotini oluvchi". IEEE Kompyuter Jamiyati. Olingan 4 mart 2012.
