مايكل سبيفي

مايكل سبيفي (المعروف باسم مايك سبيفي ) هو عالم حاسوب بريطاني في جامعة أكسفورد .

ولد سبيفي عام 1960 وتلقى تعليمه في مدرسة رئيس الأساقفة هولجيت النحوية في يورك ، إنجلترا. درس الرياضيات في كلية المسيح، كامبريدج ، ثم حصل على درجة الدكتوراه في علوم الكمبيوتر حول تدوين Z في كلية ولفسون، أكسفورد ومجموعة أبحاث البرمجة ، وهي جزء من مختبر الحوسبة بجامعة أكسفورد.

مايك سبيفي محاضر جامعي في علوم الحاسوب بقسم علوم الحاسوب في جامعة أكسفورد، وزميل ميسيس وأندرسون في علوم الحاسوب بكلية أوريل في أكسفورد . ^{[ 1 ]} تشمل اهتماماته البحثية الرئيسية المترجمات ولغات البرمجة ، وخاصة البرمجة المنطقية . وقد كتب مترجمًا للغة أوبرون-2 . ^{[ 2 ]}

• فهم لغة Z: لغة المواصفات ودلالاتها الرسمية ، منشورات جامعة كامبريدج ، سلسلة كامبريدج في علوم الحاسوب النظرية، العدد 3، 2008. ISBN 978-0-521-05414-0.
• تدوين Z: دليل مرجعي ، سلسلة برنتيس هول الدولية في علوم الحاسوب، 1992. ISBN 0-13-978529-9.
• مقدمة في البرمجة المنطقية باستخدام لغة برولوج ، سلسلة برنتيس هول الدولية في علوم الحاسوب، 1996. رقم ISBN 0-13-536047-1.

• الصفحة الرئيسية الرسمية
• الصفحة الرئيسية الشخصية
• ج. مايكل سبيفي في خادم ببليوغرافيا DBLP