مارك إي. ستيكل

كان مارك إي. ستيكل (22 يونيو 1947 - 13 أبريل 2013) عالم حاسوب متخصصًا في مجالات إثبات النظريات الآلي والذكاء الاصطناعي . عمل في معهد ستانفورد للأبحاث الدولية (SRI International) لأكثر من 30 عامًا، وكان كبير العلماء في مركز الذكاء الاصطناعي. ^{[ 1 ]}

شملت أبحاث ستيكل حل النظرية، وتوحيد الترابط التبادلي (AC)، وتطوير برنامج إثبات نظرية تكنولوجيا برولوج (PTTP) و SNARK ، وهي مجموعة أدوات الاستدلال الآلي الجديدة لمعهد SRI. ^{[ 2 ]}

تم انتخابه زميلًا في الجمعية الأمريكية للذكاء الاصطناعي في عام 1992 وحصل على جائزة هيربراند لمساهماته في الاستدلال الآلي في عام 2002. ^{[ 3 ]}