هارالد جانزينجر (Harald Ganzinger) (من مواليد 31 أكتوبر 1950، توفي في يونيو 2004، ساربروكن) كان عالمًا ألمانيًا في مجال الكمبيوتر، وقام بالتعاون مع ليو باشماير بتطوير حساب التراكب، والذي تم استخدامه (في عام 2007) في معظم الأنظمة الأوتوماتيكية الحديثة.[2][3]
| هارالد جانزينجر | |
|---|---|
| (بالألمانية: Harald Ganzinger) | |
| معلومات شخصية | |
| الميلاد | سنة 1950[1] |
| تاريخ الوفاة | سنة 2004 (53–54 سنة)[1] |
| الجنسية |  |
| الحياة العملية | |
| المدرسة الأم | جامعة ميونخ التقنية |
| المهنة | رياضياتي، وعالم حاسوب، ومهندس، وأستاذ جامعي |
| اللغات | الألمانية |
| موظف في | جامعة دورتموند للتكنولوجيا |
حصل على الدكتوراه من جامعة ميونخ التقنية عام 1978. قبل عام 1991 كان أستاذًا لعلوم الكمبيوتر في جامعة دورتموند للتكنولوجيا. ثم التحق بمعهد ماكس بلانك لعلوم الكمبيوتر في ساربروكن بعد فترة وجيزة من تأسيسه في عام 1991. حتى عام 2004 كان مدير قسم البرمجة المنطقية لمعهد ماكس بلانك لعلوم الكمبيوتر والأستاذ الفخري في جامعة سارلاند. أنشأت مجموعته البحثية نظرية مبرمج نظام SPASS الآلي.
حصل على جائزة هيربراند في عام 2004 (بعد وفاته) لمساهماته الهامة في إثبات النظرية الآلية - انظر (قائمة الجوائز والميداليات).
مراجع
- وصلة : https://d-nb.info/gnd/121309215 — تاريخ الاطلاع: 24 أبريل 2014 — الرخصة: CC0
- "Homepage: Harald Ganzinger(Max-Planck-Institut für Informatik)". people.mpi-inf.mpg.de (باللغة الإنجليزية). مؤرشف من الأصل في 15 ديسمبر 201916 أغسطس 2018.
- "Homepage: Harald Ganzinger(Max-Planck-Institut für Informatik)". people.mpi-inf.mpg.de (باللغة الإنجليزية). مؤرشف من الأصل في 16 نوفمبر 201816 أغسطس 2018.
- Rewrite-Based Equational Theorem Proving with Selection and Simplification, Leo Bachmair and Harald Ganzinger, Journal of Logic and Computation 3(4), 1994.