جو ستوي
جوزيف إي. ستوي عالم حاسوب بريطاني . درس الفيزياء في جامعة أكسفورد . في بداية مسيرته المهنية، في سبعينيات القرن الماضي، عمل على الدلالات الدلالية مع كريستوفر ستراشي في مجموعة أبحاث البرمجة بمختبر الحوسبة بجامعة أكسفورد ( قسم علوم الحاسوب بجامعة أكسفورد حاليًا ). [ 1 ] كان زميلًا في كلية باليول، أكسفورد . كما أمضى فترة في معهد ماساتشوستس للتكنولوجيا (MIT) في الولايات المتحدة . [ 2 ]
في عام 2003، شارك في تأسيس شركة Bluespec ، وهي شركة أمريكية متخصصة في أتمتة تصميم الإلكترونيات . وتقدم الشركة لغة برمجة وظيفية تُسمى Bluespec SystemVerilog (BSV)، وهي نسخة معدلة من لغة Haskell تم تطويرها كلغة وصف أجهزة عالية المستوى لتصميم الرقائق الإلكترونية.
يُعد كتابه " الدلالات الدلالية: منهج سكوت-ستراتشي في دلالات لغات البرمجة" ( منشورات معهد ماساتشوستس للتكنولوجيا ، 1977) الآن نصًا كلاسيكيًا. [ 3 ]
تزوج ستوي من غابرييل ستوي، وهي عالمة رياضيات وزميلة في كلية ليدي مارغريت هول، أكسفورد . [ 4 ]
مراجع
- ↑ جو ستوي: الاهتمامات البحثية ، مختبر الحوسبة بجامعة أكسفورد ، المملكة المتحدة.
- ↑ "مجموعة عمل الاتحاد الدولي لمعالجة المعلومات 2.3: منهجية البرمجة" . أخبار . مايكروسوفت للأبحاث . تم الاطلاع عليه بتاريخ 8 نوفمبر 2011 .
- ↑ جو ستوي، الدلالات الدلالية: منهج سكوت-ستراتشي لدلالات لغات البرمجة ، مطبعة معهد ماساتشوستس للتكنولوجيا ، 1981. (غلاف ورقي). ISBN 978-0-262-69076-8.
- ↑ "نبذة عن الدكتورة غابرييل ستوي" . أكسفورد، المملكة المتحدة: دار ليدي مارغريت هول، أكسفورد . تم الاطلاع عليه بتاريخ 17 نوفمبر 2016 .
روابط خارجية
- جوزيف إي. ستوي في خادم ببليوغرافيا DBLP
- التحقق من البرامج ودلالاتها: الأعمال المبكرة
- ستراشي ومجموعة أبحاث البرمجة في أكسفورد : محاضرة ألقاها جو ستوي حول كريستوفر ستراشي ومجموعة أبحاث البرمجة في أكسفورد .
- الناس الأحياء
- خريجو جامعة أكسفورد
- علماء الحاسوب الإنجليز
- أعضاء قسم علوم الحاسوب، جامعة أكسفورد
- زملاء كلية باليول، أكسفورد
- أعضاء هيئة التدريس في معهد ماساتشوستس للتكنولوجيا
- الأساليب الرسمية
- باحثو لغات البرمجة
- كتّاب علوم الحاسوب
- المغتربون البريطانيون في الولايات المتحدة
- متخصص بريطاني في مجال الكمبيوتر
- مقالات قصيرة لعلماء بريطانيين
- مقالات قصيرة في علوم الحاسوب