WikiDer > Maykl Butler (kompyuter olimi)
Maykl Butler | |
|---|---|
.jpg) Professor Maykl Butler so'zga chiqib Britaniya Kompyuter Jamiyati ofislari London, 2015. | |
| Tug'ilgan | |
| Millati | Irland |
| Olma mater | Trinity kolleji, Dublin Volfson kolleji, Oksford |
| Ma'lum | B usuli |
| Ilmiy martaba | |
| Maydonlar | Kompyuter fanlari, dasturiy ta'minot, rasmiy usullar |
| Institutlar | Sauthempton universiteti |
| Tezis | Harakat tizimlariga CSP yondashuvi (1992) |
| Doktor doktori | Kerol Morgan |
| Ta'sir | Jan-Raymond Abrial, Ralf-Yoxan orqaga |
| Veb-sayt | www |
Maykl J. Butler professor Kompyuter fanlari da Sauthempton universiteti, Angliya.
Butler aslida edi Irlandiya va kompyuter fanlari bo'yicha bakalavr darajasini oldi Trinity kolleji, Dublin 1988 yilda. Keyin u o'z zimmasiga oldi Magistr va DP da Dasturlash tadqiqot guruhi yilda Oksford (Mos ravishda 1989 va 1992),[1] hududida ishlash Ketma-ket jarayonlar haqida ma'lumot berish (CSP). Keyinchalik u ishlagan Broadcom yilda Dublin va da Akadembo Akademi universiteti yilda Turku, Finlyandiya bilan Ralf-Yoxan orqaga kuni Nozik hisoblash. U 1995 yilda Sautgempton Universitetiga o'qituvchi sifatida qo'shildi, 2000 yilda Readerga ko'tarildi va o'sha yili professor.
U rahbarlik qiladi Ishonchli tizimlar va dasturiy ta'minot muhandisligi (DSSE) guruhi Sautgempton universiteti, elektronika va kompyuter fanlari maktabi.[2] Uning asosiy tadqiqotlari B usuli (J. -R.Arial tomonidan ishlab chiqarilgan), ayniqsa ProB (Rodin / Eclipse platformasida Event-B mashinalarining zamonaviy simulyatsiyasini amalga oshirishga imkon beradigan B uchun zamonaviy model tekshiruvi) kabi asboblarni qo'llab-quvvatlash, U2B (UML va B), csp2B (CSP va B) va RODIN asboblar to'plami[3] uchun Voqea-B.[4][5]
Adabiyotlar
- ^ Maykl J. Butler, Harakat tizimlariga CSP yondashuvi, DPhil tezisi, Volfson kolleji, Oksford, 1992.
- ^ Ishonchli tizimlar va dasturiy ta'minot muhandisligi (DSSE) guruhi, Sautgempton universiteti, elektronika va kompyuter fanlari maktabi.
- ^ "Event-B va Rodin platformasi". Olingan 23 oktyabr 2015.
- ^ Maykl J. Butler da DBLP Bibliografiya serveri
- ^ Maykl J. Butler muallif profil sahifasi ACM Raqamli kutubxona
