جوناثان بوين

جوناثان ب. بوين (مواليد 14 مارس 1956) عالم حاسوب بريطاني وأستاذ فخري في جامعة لندن ساوث بانك . تتمثل إسهاماته الرئيسية في الأساليب الرسمية ، ولا سيما ترميز Z. ^{[ 2 ]} إضافةً إلى ذلك، عمل في مجال معلوماتية المتاحف ، ^{[ 3 ]} بما في ذلك إنشاء صفحات متاحف المكتبة الافتراضية ، وهي دليل ويب مبكر. وتشمل إسهاماته أيضًا أعمالًا في تاريخ الحوسبة ، وخاصةً آلان تورينج . ^{[ 4 ]}

وُلد بوين في أكسفورد ، وهو ابن همفري بوين ، ^{[ 5 ]} وتلقى تعليمه في مدرسة دراغون ، ومدرسة برايانستون ، قبل التحاقه بكلية جامعة أكسفورد ( جامعة أكسفورد ) حيث حصل على درجة الماجستير في العلوم الهندسية . ^{[ 5 ]}

بعد عمله في البداية في مجال صناعة البرمجيات، انضم لاحقًا إلى إمبريال كوليدج لندن ، ومختبر الحوسبة بجامعة أكسفورد (الذي أصبح الآن قسم علوم الحاسوب بجامعة أكسفورد )، وجامعة ريدينغ ، وجامعة لندن ساوث بانك . ^{[ 6 ]} انصبّ بحثه الرئيسي على الأساليب الرسمية بشكل عام، وعلى ترميز Z بشكل خاص. ^{[ 7 ]} ترأس مجموعة مستخدمي Z من أوائل العقد الأول من الألفية الثانية حتى عام 2011. في عام 2002، انتُخب بوين رئيسًا لمجموعة المتخصصين في الجوانب الرسمية لعلوم الحاسوب التابعة لجمعية الحاسبات البريطانية . ^{[ 8 ]} منذ عام 2005، شغل بوين منصب نائب رئيس تحرير مجلة الابتكارات في هندسة النظم والبرمجيات . ^{[ 9 ]} كما كان محررًا مشاركًا في هيئة تحرير مجلة ACM Computing Surveys ، التي تُغطي هندسة البرمجيات والأساليب الرسمية . ^{[ 10 ]} من عام 2008 إلى عام 2009، عمل كشريك في شركة براكسيس لأنظمة التكامل العالي ، ^حيث عمل على مشروع صناعي كبير باستخدام تدوين Z. [ ^{11 ]}

يُعدّ مجال المتاحف الإلكترونية من أبرز اهتمامات بوين الأخرى . ^{[ 12 ] [ 13 ]} في عام 1994، أسس صفحات مكتبة المتاحف الافتراضية (VLmp)، وهو دليل إلكتروني للمتاحف سرعان ما تبنّاه المجلس الدولي للمتاحف (ICOM). ^{[ 14 ] [ 15 ]} وبعد ذلك بفترة وجيزة، أطلق أيضًا المتحف الافتراضي للحوسبة . وفي عام 2002، أسس شركة Museophile Limited ^{[ 16 ]} لمساعدة المتاحف، لا سيما عبر الإنترنت، على سبيل المثال من خلال منتديات النقاش. ^{[ 17 ]}

من عام 2000 إلى عام 2006، ترأس بوين مركز الأساليب الرسمية التطبيقية بصفته أستاذًا للحوسبة في جامعة لندن ساوث بانك. ^{[ 18 ]} ومنذ عام 2002، شغل بوين أيضًا منصب رئيس مجلس إدارة شركة Museophile Limited، ومنذ عام 2017، يعمل أستاذًا مساعدًا في جامعة جنوب غرب تشونغتشينغ ، الصين. ^{[ 19 ]} كما شغل منصب أستاذ علوم الحاسوب في جامعة برمنغهام سيتي ، ^{[ 20 ]} وأستاذًا زائرًا في معهد برات (مدينة نيويورك)، وجامعة وستمنستر ، وكلية كينجز لندن ، ^{[ 21 ]} وأكاديميًا زائرًا في جامعة كوليدج لندن . ^{[ 22 ]}

عمل بوين أيضًا في الصناعة في شركات Oxford Instruments و Marconi Instruments و Logica و Silicon Graphics و Altran Praxis . ^{[ 6 ]}

في عام 1994، حصل بوين على جائزة تشارلز باباج من معهد مهندسي الكهرباء والإلكترونيات (IEE) لأفضل ورقة بحثية في مجلة هندسة البرمجيات . ^{[ 1 ]} انتُخب بوين زميلًا في الجمعية الملكية لتشجيع الفنون والصناعات والتجارة (RSA) عام 2002، وفي الجمعية البريطانية للحاسبات (BCS) عام 2004. ^{[ 6 ]} كان عضوًا في نقابة خبراء تكنولوجيا المعلومات ، وهو مواطن حر في مدينة لندن . ^{[ 23 ]}

قام جوناثان بوين بتأليف وتحرير عدد من الكتب، بما في ذلك: ^{[ 24 ]}

• بوين، جيه بي، محرر، نحو أنظمة مُدققة . إلسيفير ساينس، سلسلة أنظمة السلامة الحرجة في الوقت الحقيقي، المجلد 2، 1994. ISBN 0-444-89901-4.
• هينشي، إم جي وبوين، جيه بي، محرران، تطبيقات الأساليب الرسمية . سلسلة برنتيس هول الدولية في علوم الحاسوب، 1995. ISBN 0-13-366949-1[ ^{25 ]​}
• بوين، جيه بي، المواصفات الرسمية والتوثيق باستخدام لغة Z: دراسة حالة . دار نشر طومسون الدولية للحاسوب، دار نشر طومسون الدولية ، 1996. رقم ISBN 1-85032-230-9[ ^{2 ]​}
• بوين، جيه بي وهينشي، إم جي، محرران، مواصفات وتصميم الأنظمة عالية الموثوقية . سبرينغر-فيرلاغ ، لندن، سلسلة فاسيت، 1999. ISBN 3-540-76226-4.
• هينشي، إم جي وبوين، جيه بي، محرران، أساليب رسمية قوية في الممارسة . سبرينغر-فيرلاغ، لندن، سلسلة FACIT، 1999. ISBN 1-85233-640-4.
• هيرونز، ر.، بوين، ج. ب.، وهارمان، م. ، محررون، الأساليب الرسمية والاختبار . سبرينغر-فيرلاغ، سلسلة محاضرات في علوم الحاسوب ، المجلد 4949، 2008. ISBN 978-3-540-78916-1.
• Börger, E. , Butler, M. , Bowen, JP, and Boca, P., Editors, Abstract State Machines, B and Z. سبرينغر-فيرلاج، LNCS، المجلد 5238، 2008. ISBN 978-3-540-87602-1.
• بوكا، بي بي، بوين، جيه بي، وصديقي، جي آي ، محررون، الأساليب الرسمية: أحدث ما توصل إليه العلم والاتجاهات الجديدة . سبرينغر، 2010. ISBN 978-1-84882-735-6، رقم الكتاب المعياري الدولي الإلكتروني 978-1-84882-736-3، doi : 10.1007/978-1-84882-736-3 .
• بوين، جيه بي، وكين، إس، ونج، كيه، محررون، التصور الإلكتروني في الفنون والثقافة . سلسلة سبرينغر للحوسبة الثقافية، سبرينغر، 2013. ISBN 978-1-4471-5406-8.
• كوبلاند، ج. ، بوين، ج.ب.، سبريفاك، م.، ويلسون، ر. ، وآخرون، دليل تورينج . مطبعة جامعة أكسفورد ، 2017. ISBN 978-0198747826(غلاف مقوى)، رقم ISBN 978-0198747833(غلاف ورقي). ^{[ 4 ]}
• هينشي، إم جي، بوين، جيه بي، أولديروغ، إي-آر ، محررون، أنظمة صحيحة قابلة للإثبات . دار نشر سبرينغر الدولية، سلسلة دراسات ناسا في هندسة الأنظمة والبرمجيات، 2017. رقم ISBN 978-3-319-48627-7، doi : 10.1007/978-3-319-48628-4 .
• جيانيني، ت. وبوين، ج. ب.، محرران، المتاحف والثقافة الرقمية: منظورات وبحوث جديدة . سلسلة سبرينغر للحوسبة الثقافية، سبرينغر، 2019. ISBN 978-3-319-97456-9، رقم الكتاب المعياري الدولي الإلكتروني 978-3-319-97457-6، doi : 10.1007/978-3-319-97457-6 . ^{[ 3 ]}
• جيانيني، ت. وبوين، ج. ب.، محرران، الفنون والثقافة الحاسوبية: العوالم الحقيقية والافتراضية . سلسلة سبرينغر للحوسبة الثقافية، سبرينغر، 2024. ISBN 978-3-031-53864-3، رقم الكتاب المعياري الدولي الإلكتروني 978-3-031-53865-0، doi : 10.1007/978-3-031-53865-0 ^{[ 26 ]}

• موقع شخصي
• جوناثان ب. بوين في خادم ببليوغرافيا DBLP
• منشورات جوناثان بوين المفهرسة بواسطة جوجل سكولار
• جوناثان ب. بوين على منصة مايكروسوفت الأكاديمية
• جوناثان بوين في مشروع علم الأنساب الرياضي