ديفيد بلايستيد

ديفيد آلان بلايستيد هو أستاذ علوم الحاسوب في جامعة نورث كارولينا في تشابل هيل .

تشمل اهتمامات بلايستيد البحثية أنظمة إعادة كتابة المصطلحات ، وإثبات النظريات الآلي ، والبرمجة المنطقية ، والخوارزميات . وتشمل إنجازاته البحثية في مجال إثبات النظريات العمل على ترتيب المسار التكراري، ^{[ 1 ]} وترتيب المسار الترابطي، ^{[ 2 ]} والتجريد، ^{[ 3 ]} وصيغ اختزال المسائل المبسطة والمعدلة، ^{[ 4 ] [ 5 ]} وقابلية الاختزال الأساسية، ^{[ 6 ]} وترجمات صيغ البنود غير القياسية، ^{[ 7 ]} والتوحيد E الصارم ، ^{[ 8 ]} وإكمال كنوت-بنديكس ، ^{[ 9 ] [ 10 ]} وقواعد الاستبدال في إثبات النظريات، ^{[ 11 ]} واستراتيجيات إثبات النظريات القائمة على الحالات، ^{[ 12 ]} والدلالات في إثبات النظريات. ^{[ 13 ]}

حصل على بكالوريوس العلوم من جامعة شيكاغو عام ١٩٧٠، ودكتوراه الفلسفة من جامعة ستانفورد عام ١٩٧٦. عمل في هيئة التدريس بقسم علوم الحاسوب في جامعة إلينوي في أوربانا-شامبين حتى عام ١٩٨٤، ومنذ ذلك الحين يشغل منصب أستاذ متفرغ في قسم علوم الحاسوب بجامعة نورث كارولينا في تشابل هيل. له العديد من المؤلفات المنشورة في علوم الحاسوب، والتي يستشهد بها الأكاديميون في هذا المجال. كما شغل عضوية عدد من اللجان البرامجية وهيئات تحرير العديد من المجلات، منها مجلة الحوسبة الرمزية ، ورسائل معالجة المعلومات، ونظرية الأنظمة الرياضية، وأساسيات المعلوماتية. أمضى بلايستيد فترة تفرغ علمي في معهد ستانفورد للأبحاث الدولية في مينلو بارك، كاليفورنيا، عامي ١٩٨٢ و١٩٨٣، وأخرى في معهد ماكس بلانك لأنظمة البرمجيات وجامعة كايزرسلاوترن في ألمانيا عامي ١٩٩٣ و١٩٩٤.

• صفحة بلايستيد في جامعة نورث كارولينا
• ديفيد أ. بلايستيد في خادم ببليوغرافيا DBLP